คำถามติดแท็ก order-theory

สมมติว่าฉันมี poset "S" และ monotonic predicate "P" บน S ฉันต้องการค้นหาองค์ประกอบหนึ่งหรือทั้งหมดของ S ที่น่าพอใจ P แก้ไข : ฉันสนใจในการลดจำนวนของการประเมินผลของ P มีอัลกอริทึมใดที่มีอยู่สำหรับปัญหานี้และคุณสมบัติและการดำเนินการเพิ่มเติมใดบ้างที่พวกเขาต้องการใน S สิ่งที่เกี่ยวกับกรณีพิเศษที่สำคัญเช่น: S คือลำดับเชิงเส้น - จากนั้นการค้นหาแบบไบนารีปกติจะทำงานตราบใดที่คุณมีการดำเนินการ "find middle" S คือขัดแตะ S เป็นโครงร่างย่อย S คือตาข่ายหลายชุด ... ทั้งสองกรณีหลังมีความสำคัญเป็นพิเศษเช่นสำหรับการออกแบบการทดสอบ - คุณมีชุดบูลีนหรือพารามิเตอร์จริงและคุณต้องการค้นหาชุดค่าผสมที่เล็กที่สุดเท่าที่จะเป็นไปได้ที่สร้างรูปแบบเฉพาะ (เช่นการทดสอบที่ล้มเหลว)

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

เนื่องจากคำว่ามากเกินไปคำจำกัดความสั้น ๆ ก่อน poset เป็นชุดXXX endowed กับคำสั่งซื้อบางส่วน≤≤≤\leได้รับสององค์ประกอบ, ข∈ Xเราสามารถกำหนดx ∨ Y (ร่วม) เป็นของที่ถูกผูกไว้อย่างน้อยบนในX , และในทำนองเดียวกันกำหนดx ∧ Y (พบ) (ร่วม) เป็นที่ยิ่งใหญ่ที่สุดที่ต่ำกว่าที่ถูกผูกไว้a,b∈Xa,ข∈Xa,b \in Xx∨yx∨Yx \vee yXXXx∧yx∧Yx \wedge y ขัดแตะเป็นโพเซ็ทที่องค์ประกอบสองอย่างใดมีการพบปะที่ไม่เหมือนใครและการเข้าร่วมที่ไม่เหมือนใคร Lattices (ในรูปแบบนี้) แสดงในทฤษฎี CS ใน (สั้น ๆ ) ทฤษฎีของ submodularity (กับส่วนย่อย lattice) และการจัดกลุ่ม (lattice แบ่งพาร์ติชัน) เช่นเดียวกับในทฤษฎีโดเมน (ที่ฉันไม่เข้าใจดีเกินไป) และแบบคงที่ การวิเคราะห์ แต่ฉันสนใจแอปพลิเคชันที่ใช้โครงสร้างเมตริกในโปรย ตัวอย่างง่ายๆมาจากการจัดกลุ่มที่ฟังก์ชันใด ๆ ที่ …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

ฉันกำลังได้รับเป็นใส่ DAGของจุดซึ่งแต่ละจุดสุดยอดมีข้อความระบุว่านอกจากนี้ยังมีบางส่วน\}n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} ทอพอโลยีแบบหนึ่งของคือ bijectionจากจุดยอดของถึงเช่นนั้นสำหรับ ,หากมีเส้นทางจากไปยังในดังนั้น(y) ฉันต้องการที่จะตัดสินใจว่าจะมีอยู่การจัดเรียงทอพอโลยีของเช่นว่าทุก ,(x)f G { 1 , … , n } x y x y G f ( x ) ≤ f ( y ) G x f ( …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

พิจารณา(X,≤)(X,≤)(X, \leq) poset จำกัด เหนือรายการnnnและPPPที่ไม่ทราบคำกริยาแสดงคำพูดเหนือXXX (เช่นสำหรับใด ๆxxx , y∈Xy∈Xy \in XหากP(x)P(x)P(x)และx≤yx≤yx \leq yแล้วP(y)P(y)P(y) ) ฉันสามารถประเมินPPPโดยระบุหนึ่งโหนดx∈Xx∈Xx \in Xและค้นหาว่าP(x)P(x)P(x)ถืออยู่หรือไม่ เป้าหมายของฉันคือการพิจารณาว่าชุดของโหนดx∈Xx∈Xx \in Xที่P(x)P(x)P(x)ถือใช้โดยใช้การประเมินPPPที่สุดเท่าที่จะทำได้ (ฉันสามารถเลือกคำค้นหาของฉันได้ขึ้นอยู่กับคำตอบของคำค้นหาก่อนหน้าทั้งหมดฉันไม่จำเป็นต้องวางแผนคำถามทั้งหมดล่วงหน้า) กลยุทธ์SSSมากกว่า(X,≤)(X,≤)(X, \leq)เป็นฟังก์ชั่นที่บอกฉันเป็นฟังก์ชั่นการค้นหาที่ฉันวิ่งเพื่อให้ห่างไกลและคำตอบของพวกเขาซึ่งโหนดแบบสอบถามและซึ่งทำให้มั่นใจได้ว่าเมื่อใดกริยาPPPโดยดำเนินการตามกลยุทธ์ ฉันจะไปถึงสถานะที่ฉันรู้ค่าของPPPบนโหนดทั้งหมด เวลาทำงานr(S,P)r(S,P)r(S, P)ของSSSบนเพรดิเคตPPPคือจำนวนของเคียวรีที่ต้องการทราบค่าของPPPบนโหนดทั้งหมด เวลาทำงานที่เลวร้ายที่สุดของSSSคือ ) กลยุทธ์ที่ดีที่สุด S 'เป็นเช่นนั้น W R ( S ' ) = นาทีS W R ( S )wr(S)=maxPr(S,P)wr(S)=maxPr(S,P)wr(S) = \max_P r(S, P)S′S′S'wr(S′)=minSwr(S)wr(S′)=minSwr(S)wr(S') = \min_S …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

ลองพิจารณาปัญหาที่เราได้รับในรูปของกราฟ acyclic กำกับ , ฟังก์ชั่นการติดฉลากλจากVถึงบางชุดLพร้อมกับคำสั่งทั้งหมด&lt; L (เช่น, จำนวนเต็ม) และสถานที่ที่เราถูกถาม คำนวณlexicographically เล็กที่สุดเรียงลำดับทอพอโลยีของGในแง่ของλ อีกอย่างแม่นยำทอพอโลยีแบบเรียงตัวของจีคือการนับของvเป็นv = v 1 , … , v nG=(V,E)G=(V,E)G = (V, E)λλ\lambdaVVVLLL&lt;L&lt;L<_LGGGλλ\lambdaGGGVVVv=v1,…,vnv=v1,…,vn\mathbf{v} = v_1, \ldots, v_nเช่นว่าทุกเมื่อใดก็ตามที่มีเส้นทางจากวีฉันจะวีเจในGแล้วเราต้องมีฉัน&lt; J ฉลากดังกล่าวเรียงลำดับทอพอโลยีเป็นลำดับขององค์ประกอบของSได้รับเป็นL = λ ( โวลต์1 ) , ... , λ ( V n ) การเรียงลำดับพจนานุกรมในลำดับดังกล่าว (ซึ่งทั้งหมดมีความยาว| V | ) ถูกกำหนดเป็นl &lt; LEXi≠ji≠ji …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

พิจารณาเนื่องกริยามากกว่า powerset 2 | n | (สั่งโดยการรวม) โดย "monotonic" ฉันหมายถึง: ∀ x , y ∈ 2 | n | เช่นว่าx ⊂ Yถ้าP ( x )แล้วP ( Y ) ฉันกำลังมองหาอัลกอริทึมเพื่อค้นหาองค์ประกอบขั้นต่ำทั้งหมดของPนั่นคือx ∈ 2 | n | แบบนั้นP ( x )PPP2|n|2|n|2^{|n|}∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}x⊂yx⊂yx \subset yP(x)P(x)P(x)P(y)P(y)P(y)PPPx∈2|n|x∈2|n|x \in 2^{|n|}P(x)P(x)P(x)แต่ , ¬ P ( …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

หากคุณได้รับคอลเลกชันของคำสั่งบางส่วนการเรียงโทโพโลยีจะบอกคุณว่ามีการขยายคอลเลกชันไปยังคำสั่งซื้อทั้งหมด (ส่วนขยายในกรณีนี้คือคำสั่งซื้อทั้งหมดที่สอดคล้องกับคำสั่งซื้อบางส่วน) ฉันเจอความแตกต่าง: แก้ไขชุดVคุณได้ลำดับดังนี้σ 1 , … σ kขององค์ประกอบที่ดึงมาจากVโดยไม่มีการทำซ้ำ (ลำดับจะมีความยาวระหว่าง 1 ถึง| V | )VVVσ1, … σkσ1,…σk\sigma_1, \ldots \sigma_kVVV| V||V||V| มีวิธีในการแก้ไขการวางแนวสำหรับแต่ละลำดับ (ไม่ว่าจะไปข้างหน้าหรือย้อนกลับ) เพื่อให้คอลเลกชันของโซ่ที่เกิดขึ้น (ดูเป็นคำสั่งบางส่วน) ยอมรับการขยาย? ปัญหานี้เป็นที่รู้จักกันดีหรือไม่? หมายเหตุ:การวางแนวถูกเลือกสำหรับลำดับทั้งหมด ดังนั้นถ้าลำดับคือคุณสามารถเก็บมันไว้แบบนั้นหรือพลิกมันเป็น5 - 4 - 2 - 1แต่คุณไม่สามารถทำอะไรได้อีก1−2−4−51−2−4−51-2-4-55−4−2−15−4−2−15-4-2-1

12 ds.algorithms  reference-request  order-theory 

แก้ไขกลุ่มแน่นอนGฉันสนใจในปัญหาการตัดสินใจต่อไปนี้: อินพุตเป็นองค์ประกอบบางส่วนของG ที่มีลำดับบางส่วนกับพวกเขาและคำถามคือว่ามีการเปลี่ยนแปลงองค์ประกอบที่สอดคล้องกับคำสั่งหรือไม่และเป็นเช่นนั้นองค์ประกอบขององค์ประกอบในนั้น เพื่อผลตอบแทนถัวเฉลี่ยของกลุ่มองค์ประกอบเป็นกลางอีGGGGGGอีอีe อย่างเป็นทางการปัญหา -testGGGมีดังนี้โดยที่กลุ่มได้รับการแก้ไข:GGG อินพุต:ไฟไนต์สั่งซื้อบางส่วนชุดที่มีฟังก์ชั่นการติดฉลากμจากPไปG( P, &lt; )(P,&lt;)(P, <)μμ\muPPPGGG เอาท์พุท:ไม่ว่าจะมีการขยายตัวเชิงเส้นของ (เช่นการสั่งซื้อทั้งหมด( P , &lt; ′ )เช่นนั้นสำหรับทุกx , y ∈ P , x &lt; yหมายถึงx &lt; ′ y ) เช่นนั้นการเขียนองค์ประกอบของPต่อไปนี้คำสั่งซื้อทั้งหมด&lt; 'เป็นx 1 , ... , x nเรามีμ ( x 1 ) ⋅ ⋯ ⋅ μ (PPP( P, &lt;')(P,&lt;')(P, <')x …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

มีจำนวนงานในปัญหาการคำนวณสำหรับคำสั่งบางส่วน (เช่นการรับรู้, จำนวนข้าม, การรับรู้กราฟเปรียบเทียบ, ฯลฯ ... ) ฉันอยากรู้ว่างานที่ทำเฉพาะกับโปรยทำอะไร ฉันได้ค้นหาไปรอบ ๆ และไม่พบงานที่คล้ายกันมากสำหรับขัดแตะ โดยเฉพาะอย่างยิ่งฉันสนใจว่ามีการตรวจสอบปัญหาขัดแตะต่อไปนี้: การรับรู้ของ Lattice: กำหนด DAG หรือคำสั่งบางส่วนในความเป็นจริงแล้วเป็น Lattice หรือไม่ การรับรู้กราฟเปรียบเทียบของ Lattice: กำหนดกราฟที่ไม่ได้บอกทิศทาง G ขอบของ G สามารถปรับได้เพื่อให้การวางแนวผลลัพธ์เป็น lattice หรือไม่? การพิจารณา / นับองค์ประกอบที่ลดลงของการเข้าร่วมของขัดแตะ การพิจารณาว่ามีการกระจายตาข่าย / โมดูล

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory