คำถามติดแท็ก co.combinatorics

คำถามที่เกี่ยวข้องกับ combinatorics และโครงสร้างทางคณิตศาสตร์ที่ไม่ต่อเนื่อง

2
การตัดสินใจกราฟโฮโมมอร์ฟิซึม
การตัดสินใจกราฟโฮโมมอร์ฟิซึมโดยทั่วไปคือ NP-Complete มีผลใดบ้างที่ศึกษาปัญหานี้เมื่อกราฟต้นแบบมีโครงสร้างเกี่ยวกับพีชคณิต (เช่นการตัดสินใจโฮโมมอร์ฟิซึมจากเคย์ลีหรือเคย์ลีคอเซทกราฟไปยังกราฟอื่นที่มีโครงสร้างที่แน่นอนเช่นกัน)? นอกจากผลลัพธ์ที่ซับซ้อนฉันยังสนใจในเทคนิคพีชคณิตและ / หรือสเปกตรัมที่มีประโยชน์

1
กำหนดจำนวนขั้นต่ำของการชั่งน้ำหนักเหรียญ
ในบทความปัญหาสองประการของทฤษฎีสารสนเทศ ErdõsและRényiให้ขอบเขตที่ต่ำกว่าในการชั่งน้ำหนักขั้นต่ำที่เราต้องทำเพื่อกำหนดจำนวนเหรียญปลอมในชุดของเหรียญเหรียญnnn เป็นทางการมากขึ้น: เหรียญปลอมมีน้ำหนักน้อยกว่าเหรียญที่ถูกต้อง จะรู้ว่าน้ำหนักและทั้งเหรียญถูกและเหรียญปลอม เครื่องชั่งจะได้รับโดยวิธีการใด ๆ ที่จำนวนเหรียญสามารถชั่งน้ำหนักด้วยกัน ดังนั้นหากเราเลือกส่วนย่อยของเหรียญและนำมารวมกันบนเครื่องชั่งเครื่องชั่งก็จะแสดงน้ำหนักรวมของเหรียญเหล่านี้ซึ่งทำให้ง่ายต่อการคำนวณจำนวนเหรียญปลอมในหมู่ผู้ชั่งน้ำหนัก คำถามคือจำนวนน้อยที่สุดคืออะไรของการชั่งน้ำหนักโดยวิธีการแยกเหรียญที่ถูกและผิดออก?aaab &lt; aข&lt;ab < a≤ n≤n\leq nA ( n )A(n)A(n) ขอบเขตล่างที่ไม่สำคัญที่พวกเขาให้ไว้ในตอนแรกคือ: n / บันทึก2( n + 1 )n/เข้าสู่ระบบ2⁡(n+1)n / \log_2 (n + 1)1) นี่ไม่ใช่เรื่องยากที่จะดูว่าทำไมผ่านข้อโต้แย้งข้อมูล - ทฤษฎีหรือ combinatorial ปัญหาคือวิธีการสร้างชุดดังกล่าวเพื่อทำการชั่งน้ำหนักเหล่านี้? มีอัลกอริทึมที่ใช้การพิสูจน์เชิงสร้างสรรค์เพื่อให้บรรลุขอบเขตที่ต่ำกว่านี้โดยไม่ต้องอาศัยการสุ่ม มีอัลกอริทึมแบบสุ่มที่บรรลุขอบเขตเหล่านี้หรือไม่?

1
กราฟเส้นรอบวงสูงปกติที่มีลำดับรวมแบบโลคอลบนโหนด
คำนิยาม ให้และให้ ,และเป็นจำนวนเต็มบวก (กับ )ϵ &gt; 0ϵ&gt;0\epsilon > 0r g g &gt; 2 r + 1dddRrrก.ggก.&gt; 2 r + 1g&gt;2r+1g > 2r+1 ให้เป็นที่เรียบง่าย, -regular, undirected กราฟ จำกัด กับเส้นรอบวงอย่างน้อยกรัมd gG = ( V, E)G=(V,E)G = (V,E)dddก.gg Letเป็นยอดสั่งซื้อในVV≤≤\leVVV สำหรับแต่ละให้ประกอบด้วยโหนดที่อยู่ภายในระยะทางจากใน (เส้นทางที่สั้นที่สุดจากไปยังมีขอบที่สุด) และให้เป็นกราฟย่อย ของที่เกิดจากV_vจำได้ว่าเราสันนิษฐานว่ามีเส้นรอบวงสูง ดังนั้นเป็นต้นไม้ Letเป็นข้อ จำกัด ของเพื่อV_vV V ⊆ V R วีจีวียู∈ วีวีอาร์จีวีจีวีวีจีจีวี≤ …

1
เมทริกซ์นั้นมีอยู่จริงหรือไม่?
ระหว่างการทำงานฉันพบปัญหาต่อไปนี้: ฉันกำลังพยายามหาn×nn×nn \times n (0,1)(0,1)(0,1) matrix MMMสำหรับใด ๆ ที่n&gt;3n&gt;3n > 3มีคุณสมบัติดังต่อไปนี้: ดีเทอร์มีแนนต์ของMMMคือเท่ากัน สำหรับชุดย่อยที่ไม่ว่างเปล่าI,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\}ด้วย|I|=|J||I|=|J||I| = |J|ที่ submatrix MIJMJIM^I_Jมีปัจจัยแปลกถ้าหากI=JI=JI=J J นี่MIJMJIM^I_Jหมายถึง submatrix ของMMMที่สร้างขึ้นโดยการลบแถวที่มีดัชนีในIIIและคอลัมน์ที่มีดัชนีในJJJJ จนถึงตอนนี้ฉันพยายามค้นหาเมทริกซ์ดังกล่าวผ่านการสุ่มตัวอย่าง แต่ฉันสามารถค้นหาเมทริกซ์ที่มีคุณสมบัติทั้งหมดยกเว้นเมทริกซ์แรกเท่านั้นนั่นคือเมทริกซ์จะมีปัจจัยแปลกเสมอ ฉันลองใช้ขนาดต่าง ๆ และชุดอินพุต / เอาต์พุตที่แตกต่างกันโดยไม่ประสบความสำเร็จ ดังนั้นนี่ทำให้ฉันคิดว่า: คือมีการพึ่งพาระหว่างข้อกำหนดซึ่งป้องกันไม่ให้พวกเขาเป็นจริงพร้อมกันหรือไม่ หรือ เป็นไปได้ไหมที่เมทริกซ์นั้นมีอยู่และมีคนยกตัวอย่างให้ฉันได้ไหม? ขอบคุณ Etsch

4
จำนวนของ cliques ในกราฟ: ผลลัพธ์ Moon and Moser 1965
ฉันกำลังมองหาข้อความทั้งหมดของผลลัพธ์ Moon and Moser 1965 เกี่ยวกับ Cliques ในกราฟ (มีกราฟที่มีจำนวน cliques สูงสุดสูงสุดใน ) บัญชีเงินเดือนมหาวิทยาลัยของฉันไม่มีสิทธิ์เข้าถึงวารสารเฉพาะ (อันที่จริงภาพตัวอย่างแสดงประโยคสองสามประโยคแรกของการพิสูจน์ แต่จากนั้นก็ทิ้งฉันโดยไม่เหลือ!)nnn ฉันสนใจผลการวิจัยนี้ที่เกี่ยวข้องกับทิศทางการวิจัยที่ฉันใฝ่ฝัน แต่ทิศทางนั้นเปลี่ยนไปเล็กน้อยดังนั้นความสนใจของฉันจึงเป็นที่สนใจทางวิชาการอย่างแท้จริง คำถามของฉันคือ: มีการเชื่อมโยงไปยังข้อความเต็มของกระดาษที่อื่นหรือกระดาษอื่นที่ร่างหลักฐานหรือถ้าร่างหลักฐานสั้นพอที่จะทำซ้ำที่นี่ใครรู้หรือไม่ นอกจากนี้ฉันสนใจคลาสของกราฟที่มีเลขโบราณจำนวนมาก ฉันเพิ่ม BibTeX สำหรับการอ้างอิง: @article {springerlink:10.1007/BF02760024, author = {Moon, J. and Moser, L.}, affiliation = {University of Alberta Edmonton Canada}, title = {On cliques in graphs}, journal = {Israel Journal of …

2
ขนาดของกราฟลูกบาศก์แบบสุ่ม
พิจารณากราฟลูกบาศก์แบบสุ่มที่เชื่อมต่อกันG=(V,E)G=(V,E)G=(V,E)ของn=|V|n=|V|n =|V|จุดยอดที่ดึงมาจากG(n,3G(n,3G(n, 3 -reg ))) (ตามที่นิยามไว้ที่นี่คือ3n3n3nคือเลขคู่และกราฟสองกราฟใด ๆ มีความน่าจะเป็นเหมือนกัน) แน่นอนมีnnnที่เป็นไปได้ค้นหาความกว้างแรกหนึ่งสำหรับแต่ละโหนดเริ่มต้นs∈Vs∈Vs \in V V ความกว้างแรกค้นหาBGBGB_Gเริ่มต้นที่โหนดs∈Vs∈Vs \in Vกำหนดระดับd(s,v)d(s,v)d(s, v)ในแต่ละโหนดv∈Vv∈Vv \in Vที่d(s,v)d(s,v)d(s, v)คือระยะห่างระหว่างsssและvvvในGGGG BGBGB_Ge = { u , v } ∈ EL(s,{u,v})=max{d(s,u),d(s,v)}L(s,{u,v})=max{d(s,u),d(s,v)} L(s, \{u,v\}) = \max\{ d(s,u), d(s,v) \}e={u,v}∈Ee={u,v}∈Ee=\{u,v\} \in E ได้รับเฉพาะความกว้างแรกค้นหาให้เป็นจำนวนขอบที่ได้รับมอบหมายระดับและให้\} กล่าวอีกนัยหนึ่งคือจำนวนขอบของระดับที่มีขอบมากกว่าระดับอื่นใด สุดท้ายให้เป็นสูงสุดสำหรับการใด ๆ ของการค้นหาความกว้างแรกของG α ( B G , i ) i …

1
ช่องว่างที่ใหญ่ที่สุดระหว่างอันดับและอันดับโดยประมาณคืออะไร?
เรารู้ว่าบันทึกของการจัดอันดับของเมทริกซ์ 0-1 เป็นขอบเขตล่างของความซับซ้อนของการสื่อสารที่กำหนดขึ้นและล็อกของอันดับโดยประมาณนั้นเป็นขอบเขตล่างของความซับซ้อนของการสื่อสารแบบสุ่ม ช่องว่างที่ใหญ่ที่สุดระหว่างความซับซ้อนของการสื่อสารที่กำหนดขึ้นได้และความซับซ้อนของการสื่อสารแบบสุ่มนั้นเป็นสิ่งที่อธิบาย แล้วช่องว่างระหว่างอันดับและอันดับโดยประมาณของเมทริกบูลีนคืออะไร?

2
ความไม่สมดุลสูงสุดในกราฟ?
ให้เป็นกราฟที่เชื่อมต่อกับโหนดและขอบEให้แสดงน้ำหนัก (จำนวนเต็ม) ของกราฟด้วยน้ำหนักรวมในกราฟ น้ำหนักเฉลี่ยต่อโหนดแล้ว n ให้แสดงการเบี่ยงเบนของโหนดจากค่าเฉลี่ย เราเรียกความไม่สมดุลของโหนดฉันG = ( V , E ) V = 1 ... n E W ฉัน G Σ ฉันW ฉัน = เมตรˉ W = เมตร/ n e ฉัน = W ฉัน - ˉ Wฉัน| e i |GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots nEEEwiwiw_iGGG∑iwi=m∑iwi=m\sum_i w_i = …

1
เส้นทางขั้นต่ำที่ครอบคลุมถึงปัญหา
เรากำลังทำงานในคอมพิวเตอร์ที่มีการแจกจ่ายและเราพบปัญหาความซับซ้อนซึ่งจะช่วยลดปัญหาให้น้อยที่สุด ขณะนี้เราไม่ทราบวิธีการแก้ไข ปัญหาดังต่อไปนี้: ให้เป็นจำนวนเต็มและให้Z kเป็นกราฟที่มีk ( k + 1 )kkkZkZkZ_kจุดยอด เราป้ายแต่ละจุดสุดยอดกับคู่(ฉัน,J)ดังกล่าวที่1≤ฉัน≤เจ≤k ต่อจากนี้เราตั้งชื่อจุดยอดโดยใช้ป้ายกำกับ ชุดของขอบในZkถูกกำหนดดังนี้: {((i,j),(i′,j′))| ฉัน'&gt;ฉัน∧J'≥ฉัน}k ( k + 1 )2k(k+1)2\frac{k(k+1)}{2}( i , j )(i,j)(i,j)1 ≤ ฉัน≤ j ≤ k1≤i≤j≤k1 \leq i \leq j \leq kZkZkZ_k{((i,j),(i′,j′))|i′&gt;i∧j′≥i}{((i,j),(i′,j′))|i′&gt;i∧j′≥i}\{ ((i,j),(i',j')) | i' >i \land j' \geq i \} เส้นทางที่ครอบคลุมน้อยที่สุดของคืออะไร?ZkZkZ_k การอ่าน "ปัญหาเกี่ยวกับเส้นทางบนในกราฟและแอปพลิเคชันสำหรับการทดสอบโปรแกรม" โดย Ntafos และคณะ …

4
อะไรคือความยากลำบากในการรูทจากกราฟไปจนถึงไฮเปอร์กราฟกราฟ
มีหลายตัวอย่างใน combinatorics และวิทยาการคอมพิวเตอร์ที่เราสามารถวิเคราะห์ปัญหาทางทฤษฎีกราฟได้ แต่สำหรับไฮเปอร์กราฟของอะนาล็อกปัญหาเครื่องมือของเรายังขาดอยู่ ทำไมคุณคิดว่าปัญหามักจะยากกว่ากราฟเปอร์กราฟ 3 ชุดมากกว่ากราฟ 2 ชุด? ปัญหารากคืออะไร? ประเด็นหนึ่งก็คือเรายังไม่มีความเข้าใจที่น่าพอใจเกี่ยวกับทฤษฎีกราฟิคสเปกตรัม โปรดอย่าลังเลที่จะเปิดเผยเพิ่มเติมเกี่ยวกับปัญหานี้ แต่ฉันก็กำลังหาเหตุผลอื่นที่ทำให้กราฟิควัตถุยากขึ้น

1
-nets ด้วยความเคารพต่อบรรทัดฐานตัด
บรรทัดฐานการตัด||A||C||A||C||A||_Cของจริงเมทริกซ์= ( ฉัน, J ) ∈ R n × nเป็นจำนวนสูงสุดเหนือทุกฉัน⊆ [ n ] , J ⊆ [ n ]ปริมาณ| ∑ i ∈ I , j ∈ J a i , j | .A=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| กำหนดระยะห่างระหว่างสองเมทริกซ์AAAและBBBเป็นdC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = …

1
จำกัด การเปลี่ยนแปลงทางเดียวด้วยโดเมนอนันต์
ให้π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*เป็นการเปลี่ยนแปลง โปรดทราบว่าในขณะที่ππ\piทำหน้าที่ในโดเมนที่ไม่มีที่สิ้นสุดคำอธิบายอาจมีขอบเขต จำกัด ตามคำอธิบายผมหมายถึงโปรแกรมที่อธิบายππ\pi 's ฟังก์ชันการทำงาน (ดังเช่นในความซับซ้อนของ Kolmogorov) ดูคำอธิบายด้านล่าง ตัวอย่างเช่นฟังก์ชั่น NOT เป็นหนึ่งในการเปลี่ยนแปลงดังกล่าว: ฟังก์ชั่นไม่ (x) ปล่อยให้ y = x สำหรับ i = 1 ถึง | x | พลิกบิตของ y ส่งคืน y πk(⋅)πk(⋅)\pi_k(\cdot)กำหนดไว้ด้านล่างเป็นอีกกรณีหนึ่ง: ฟังก์ชั่น pi_k (x) ส่งคืน x + k (mod 2 ^ | x |) คำถามของฉันเป็นเรื่องเกี่ยวกับการเรียนพิเศษของพีชคณิตเรียกว่าพีชคณิตแบบทางเดียว การพูดอย่างไม่เป็นทางการเหล่านี้คือวิธีเรียงสับเปลี่ยนซึ่งง่ายต่อการคำนวณ …

4
ฟังก์ชั่นที่น่าสนใจบนกราฟที่สามารถขยายให้ใหญ่สุดได้อย่างมีประสิทธิภาพ
บอกว่าฉันมีกราฟถ่วงน้ำหนักดังนั้นคือฟังก์ชันการถ่วงน้ำหนัก - โปรดทราบว่าอนุญาตให้น้ำหนักเชิงลบได้w : E → [ - 1 , 1 ]G = ( V, E, w )G=(V,E,w)G = (V,E,w)w : E→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] บอกได้เลยว่ากำหนดคุณสมบัติของเซตของจุดใด ๆV S ⊂ Vฉ: 2V→ Rฉ:2V→Rf:2^V\rightarrow \mathbb{R}S⊂ VS⊂VS \subset V ฉฉfหาเรื่องสูงสุดS⊆ Vฉ( S)หาเรื่อง⁡สูงสุดS⊆Vฉ(S)\arg\max_{S \subseteq V}f(S) ตัวอย่างเช่นฟังก์ชันตัดกราฟ เป็นคุณสมบัติที่น่าสนใจของชุดย่อย ของจุดยอด แต่ไม่สามารถขยายให้ใหญ่สุดได้อย่างมีประสิทธิภาพ ฟังก์ชั่นความหนาแน่นของขอบเป็นอีกตัวอย่างหนึ่งของคุณสมบัติที่น่าสนใจที่อนิจจาไม่สามารถขยายได้อย่างมีประสิทธิภาพ …

1
การค้นหากราฟิคย่อยที่มีระดับความกังวลสูงและคงที่
ฉันได้รับกราฟ GGGด้วยความกังวลใจ kkk และปริญญาโดยพลการและฉันต้องการหากราฟย่อย HHH ของ GGG (ไม่จำเป็นต้องเป็นกราฟิคย่อย) เช่นนั้น HHHมีระดับคงที่และ treewidth ของมันจะสูงที่สุด ปัญหาของฉันอย่างเป็นทางการคือ: เลือกระดับที่ถูกผูกไว้d∈Nd∈ยังไม่มีข้อความd \in \mathbb{N}ฟังก์ชั่น "ดีที่สุด" คืออะไร f:N→Nฉ:ยังไม่มีข้อความ→ยังไม่มีข้อความf : \mathbb{N} \to \mathbb{N} เช่นนั้นในกราฟใดก็ได้ GGG ด้วยความกังวลใจ kkkฉันสามารถหากราฟย่อย (หวังว่ามีประสิทธิภาพ) HHH ของ GGG ด้วยระดับสูงสุด ≤d≤d\leq d และความกังวลใจ f(k)ฉ(k)f(k). เห็นได้ชัดว่าเราควรจะใช้ d≥ 3d≥3d \geq 3 เนื่องจากไม่มีกราฟ treewidth สูงที่มีระดับสูงสุด &lt; 3&lt;3<3. สำหรับd= 3d=3d = 3 …

2
จำนวนออโตมอร์ฟิซึ่มของกราฟสำหรับกราฟมอร์ฟ
ให้และมีสอง -regular กราฟที่เกี่ยวโยงกันของขนาดnให้เป็นชุดของพีชคณิตดังกล่าวว่า H หากแล้วคือชุดของ automorphisms ของGGGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG ขอบเขตบนที่รู้จักกันดีที่สุดเกี่ยวกับขนาดของคืออะไร มีผลลัพธ์ใด ๆ สำหรับคลาสกราฟที่เฉพาะเจาะจง (ไม่มีกราฟสมบูรณ์ / รอบ) หรือไม่?AAA หมายเหตุ: การสร้างกลุ่มออโตมอร์ฟิสอย่างน้อยเป็นเรื่องยาก (ในแง่ของความซับซ้อนในการคำนวณ) เป็นการแก้ปัญหากราฟมอร์ฟิซึม ในความเป็นจริงการนับออโตมอร์ฟิซึมเพียงอย่างเดียวคือพหุนามเท่ากับกราฟมอร์ฟิซึ่ม cf R. Mathon "โน้ตบนกราฟมอร์ฟิซึ่มปัญหาการนับ"

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.