A decomposition method is usually d

A decomposition method is usually defined by providing a tree whose nodes are the variables of the new problem; for each node, also provided are the associated set of original variables and possibly a set of original constraints used to build the domain of the variable in the new problem. Of the above three conditions (tree structure, enforcement of constraints, and equivalence of copies of original variables), the first one is automatically enforced by this definition. The condition of enforcement of constraints is in mostly formulated as: the scope of each constraint is a subset of the variables of some node; however, a different condition may be used when nodes are also associated to sets of constraints. The equivalence of all copies of the original variables is usually formulated as: the subgraph induced by the nodes associated to an original variable is connected.

ผลลัพธ์ (ไทย) 1:

มักจะมีกำหนดวิธีการแยกส่วนประกอบ โดยให้ต้นไม้โหนมีตัวแปรของปัญหาใหม่ สำหรับแต่ละโหน ยังให้มาเป็นชุดที่เกี่ยวข้อง ของตัวแปรเดิม และอาจตั้งข้อจำกัดเดิมที่ใช้ในการสร้างโดเมนของตัวแปรในปัญหาใหม่ โดยอัตโนมัติบังคับใช้แรกข้างบน 3 เงื่อนไข (โครงสร้าง การบังคับใช้ข้อจำกัด และสำเนาของตัวแปรเดิมที่เทียบเท่า), โดยข้อกำหนดนี้ เงื่อนไขของข้อจำกัดที่บังคับใช้อยู่ในส่วนใหญ่สูตรเป็น: ขอบเขตของข้อจำกัดแต่ละเป็นเซตย่อยของตัวแปรบางโหนด อย่างไรก็ตาม เงื่อนไขอื่นอาจใช้เมื่อโหนยังเชื่อมโยงกับชุดของข้อจำกัด เทียบเท่าสำเนาทั้งหมดของตัวแปรเดิมมักจะเป็นสูตรเป็น: subgraph ที่เหนี่ยวนำ โดยโหนดที่เกี่ยวข้องกับตัวแปรเดิมเชื่อมต่อ

ผลลัพธ์ (ไทย) 2:

วิธีการสลายตัวที่ถูกกำหนดโดยปกติให้เป็นต้นไม้ที่มีโหนดเป็นตัวแปรของปัญหาที่เกิดขึ้นใหม่นั้น สำหรับแต่ละโหนดนอกจากนี้ยังมีชุดที่เกี่ยวข้องของตัวแปรเดิมและอาจจะเป็นชุดของข้อ จำกัด เดิมที่ใช้ในการสร้างโดเมนของตัวแปรในปัญหาใหม่ ดังกล่าวข้างต้นสามเงื่อนไข (โครงสร้างการบังคับใช้ของข้อ จำกัด และความเท่าเทียมสำเนาของตัวแปรเดิม) เป็นคนแรกที่จะถูกบังคับใช้โดยอัตโนมัติโดยคำนิยามนี้ สภาพของการบังคับใช้ของข้อ จำกัด อยู่ในสูตรส่วนใหญ่เป็นขอบเขตของแต่ละ จำกัด เป็นส่วนหนึ่งของตัวแปรของโหนดบาง ๆ ; แต่สภาพที่แตกต่างกันอาจจะใช้เมื่อโหนดที่เกี่ยวข้องยังชุดของข้อ จำกัด ความเท่าเทียมกันของสำเนาทั้งหมดของตัวแปรเดิมมักจะเป็นสูตรที่เป็น: subgraph เหนี่ยวนำโดยโหนดที่เกี่ยวข้องกับตัวแปรเดิมมีการเชื่อมต่อ

ผลลัพธ์ (ไทย) 3:

เป็นวิธีที่มักจะถูกกำหนดโดยการจัดต้นไม้ที่มีโหนดคือ ตัวแปรของปัญหาใหม่ ๆสำหรับแต่ละโหนด ให้ยังเป็นชุดเดิม และอาจจะเชื่อมโยงของตัวแปรชุดของเงื่อนไขเดิมที่ใช้ในการสร้างโดเมนของตัวแปรในปัญหาใหม่ จากเงื่อนไขทั้งสามข้อ ( โครงสร้าง , บังคับใช้ข้อจำกัดของต้นไม้และเทียบเท่าของสำเนาของตัวแปรเดิม ) อันแรกจะบังคับใช้ โดยความหมายนี้ สภาพบังคับใช้ข้อจำกัดในสูตรส่วนใหญ่เป็นขอบเขตของแต่ละข้อจำกัดเป็นเซตย่อยของตัวแปรบางโหนด อย่างไรก็ตาม เงื่อนไขต่างๆ อาจจะใช้เมื่อโหนดจะยังเกี่ยวข้องกับชุดของข้อจำกัดสมมูลของสำเนาทั้งหมดของตัวแปรเดิมมักจะกำหนดเป็น : subgraph induced โดยโหนดที่เกี่ยวข้องกับตัวแปรเดิม เชื่อมต่อ