วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี

คำถาม & คำตอบสำหรับนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีและนักวิจัยในสาขาที่เกี่ยวข้อง

6
เทคนิคขั้นสูงสำหรับการกำหนดขอบเขตความซับซ้อนที่ต่ำกว่า
คุณบางคนอาจติดตามคำถามนี้ซึ่งถูกปิดเนื่องจากไม่ได้อยู่ในระดับการวิจัย ดังนั้นฉันจึงแยกส่วนของคำถามที่อยู่ในระดับการวิจัย นอกเหนือจากเทคนิค "เรียบง่าย" เช่นการลดการเรียงลำดับหรือปัญหาที่สมบูรณ์แบบ EXPTIME เทคนิคใดที่ใช้ในการพิสูจน์ขอบเขตที่ต่ำกว่าสำหรับความซับซ้อนของเวลาในปัญหา โดยเฉพาะอย่างยิ่ง: อะไรคือ "ทันสมัย" เทคนิคที่ได้รับการพัฒนาในทศวรรษที่ผ่านมา? สามารถใช้เทคนิคจากพีชคณิตนามธรรม, ประเภททฤษฎีหรือสาขาอื่นที่มักจะ "บริสุทธิ์" คณิตศาสตร์นำมาใช้? (ตัวอย่างเช่นผมมักจะได้ยินพูดถึงของ "โครงสร้างพีชคณิต" ของการเรียงลำดับโดยไม่มีคำอธิบายใด ๆ จริงของสิ่งที่นี้หมายถึง.) อะไรคือผลลัพธ์ที่สำคัญ แต่ไม่ค่อยมีคนรู้จักสำหรับความซับซ้อนที่ต่ำกว่าขอบเขต

2
ระบบพิสูจน์ผลรวมกำลังสอง
เมื่อเร็ว ๆ นี้ฉันได้เห็นหลายบทความเกี่ยวกับ arxiv ที่อ้างถึงระบบพิสูจน์ที่เรียกว่าผลรวมของกำลังสอง ใครสามารถอธิบายสิ่งที่เป็นหลักฐานรวมของสี่เหลี่ยมและทำไมหลักฐานดังกล่าวมีความสำคัญ / น่าสนใจ? พวกเขาเกี่ยวข้องกับระบบพิสูจน์เชิงพีชคณิตอื่น ๆ อย่างไร พวกเขาเป็นคู่กับ Lassere บ้างไหม?

1
ข้อผิดพลาดที่สำคัญในเอกสาร FOCS / STOC ที่ยอมรับ [ปิด]
ตามที่เป็นอยู่ในปัจจุบันคำถามนี้ไม่เหมาะสำหรับรูปแบบคำถาม & คำตอบของเรา เราคาดหวังคำตอบที่จะได้รับการสนับสนุนจากข้อเท็จจริงการอ้างอิงหรือความเชี่ยวชาญ แต่คำถามนี้อาจเรียกร้องให้มีการถกเถียงอภิปรายโต้แย้งหรือการอภิปรายเพิ่มเติม หากคุณรู้สึกว่าคำถามนี้สามารถปรับปรุงและเปิดใหม่ได้โปรดไปที่ศูนย์ช่วยเหลือเพื่อขอคำแนะนำ ปิดให้บริการใน8 ปีที่ผ่านมา คุณเคยเจอเหตุการณ์แบบนั้นในอดีตหรือไม่? มีความเป็นไปได้สำหรับทุกสิ่ง แต่ฉันอยากจะรู้ว่าเหตุการณ์นี้เป็นจริงได้อย่างไร ฉันหมายถึงข้อผิดพลาดร้ายแรงที่เปลี่ยนเป้าหมายของกระดาษและไม่ใช่ข้อผิดพลาดเล็กน้อยแน่นอน ขอบคุณ

1
การประมาณค่าเปอร์เซ็นต์ไทล์ระหว่างโหนดแบบกระจายโดยไม่เปิดเผยค่า
คำถามนี้ถูกโยกย้ายจากการตรวจสอบข้ามเพราะมันสามารถตอบได้ในการแลกเปลี่ยนวิทยาศาสตร์คอมพิวเตอร์ทฤษฎี อพยพ 8 ปีที่ผ่านมา ฉันมีปัญหาที่ไม่เหมือนใครในการแก้ปัญหาและฉันหวังว่าจะมีใครบางคนที่นี่สามารถให้ข้อมูลเชิงลึกเกี่ยวกับวิธีจัดการกับปัญหาได้ดีที่สุด ปัญหา:สมมติว่ามีการแบ่งปันรายชื่อหมายเลข N ในกลุ่มของผู้เข้าร่วมในลักษณะที่ไม่มีผู้เข้าร่วมคนเดียวที่รู้หมายเลขที่พวกเขาแบ่งปัน ผู้เข้าร่วมทุกคนรู้ว่า N (ขนาดของรายการตัวเลข) และผลรวมของตัวเลขทั้งหมดในรายการ แต่ไม่มีอะไรเพิ่มเติมมาก่อน โดยการทำงานร่วมกันเป็นไปได้ที่จะเปรียบเทียบตัวเลขที่แชร์กันสองตัว a และ b ในแบบที่ผู้เข้าร่วมเรียนรู้ว่าคำว่า "a <b" นั้นเป็นจริง แต่ไม่มีอะไรเพิ่มเติม อย่างไรก็ตามนี่เป็นสิ่งที่มีราคาแพงมากที่ต้องทำ (อ่าน: อาจใช้เวลาหลายวินาทีหรืออาจเป็นนาทีเพื่อทำการเปรียบเทียบให้เสร็จสิ้น) ดูจุดสิ้นสุดของโพสต์นี้สำหรับข้อมูลเพิ่มเติมอีกเล็กน้อยว่าเป็นไปได้อย่างไร ในตอนท้ายของวันคู่กรณีต้องการส่งออกซึ่งดัชนีในรายการนั้นตรงกับ "เปอร์เซ็นต์ K สูงสุด" (K% ซึ่งมากที่สุด) แบ่งปันหมายเลขในรายการ ซึ่งแน่นอนว่าสามารถทำได้โดยการเรียงลำดับหรือใช้อัลกอริธึมการเลือก "top K" อย่างไรก็ตามสิ่งเหล่านี้มักใช้การเปรียบเทียบที่น่าเกรงขามซึ่งควรหลีกเลี่ยง (นี่คือ O (n log n) หรือ O (n) ที่มีค่าคงที่ซ่อนอยู่ค่อนข้างใหญ่) อีกทางเลือกหนึ่งคือ "เดา" ที่ตัวเลข X …


10
เพื่อให้ภาษาสามารถตั้งโปรแกรมได้มันจำเป็นหรือไม่ที่จะต้องอิงตามบริบทของไวยากรณ์อิสระ
ในทางปฏิบัติแล้วสำหรับภาษาที่สามารถรวบรวม / แปลงเป็นคำสั่งในระดับระบบได้ในที่สุดจำเป็นหรือไม่ที่จะต้องเป็นไวยากรณ์ที่ไม่มีบริบท? ตัวอย่าง: ไวยากรณ์ภาษาการเขียนโปรแกรม / สคริปต์ทั้งหมดไม่มีบริบทหรือไม่ Java ใช้ CFG แต่จริงๆแล้วมันเป็นกรณีที่ภาษาการเขียนโปรแกรมทั้งหมดใช้ CFG หรือไม่? ดูเหมือนจะไม่ได้รับคำสั่ง แต่มีช่องว่างในความเข้าใจของฉัน บางบริบทสำหรับคำถามที่ว่าฉันถูกมองที่สเปคภาษา Java ซึ่งนอกจากนี้ยังมีไวยากรณ์กฎ นี่ทำให้ฉันคิดถึงคำถามนี้

1
ฉันต้องการอุปกรณ์ง่ายๆเพื่อพิสูจน์ Planar Hamiltonian Cycle NP-Complete (จาก Hamiltonian Cycle)
เป็นที่ทราบกันดีว่ารอบแฮมมิลโตเนียน (แฮมสำหรับระยะสั้น) นั้นสมบูรณ์แบบ NP และสมบูรณ์ที่ระนาบแฮมรอบนั้นเป็น NP-Complete การพิสูจน์สำหรับ Planar Ham Cycle ไม่ได้มาจาก Ham Cycle มีแกดเจ็ตที่ดีที่จะให้กราฟ G แทนการข้ามทั้งหมดด้วยแกดเจ็ตภาพถ่ายบางอันเพื่อให้คุณมีกราฟภาพถ่าย G 'เช่นนั้น G มีวัฏจักรของแฮมถ้าหาก G 'มีวัฏจักรของแฮม (ฉันจะมีความสุขกับสายพันธุ์ - เช่นเส้นทางแฮมหรือรอบแฮมหรือเส้นทางแฮมกำกับ)

1
ประมาณการสุ่มตัวอย่างจากรูปทรงหลายเหลี่ยมนูนกับคอมพิวเตอร์ควอนตัม
คอมพิวเตอร์ควอนตัมดีมากสำหรับการสุ่มตัวอย่างการแจกแจงที่เราไม่รู้วิธีการสุ่มตัวอย่างโดยใช้คอมพิวเตอร์แบบดั้งเดิม ตัวอย่างเช่นถ้า f เป็นฟังก์ชันบูลีน (จากถึง- 1 , 1 ) ที่สามารถคำนวณได้ในเวลาพหุนามแล้วด้วยคอมพิวเตอร์ควอนตัมเราสามารถสุ่มตัวอย่างได้อย่างมีประสิทธิภาพตามการกระจายที่อธิบายโดย (เราไม่รู้ว่าจะทำอย่างไรกับคอมพิวเตอร์แบบดั้งเดิม){ - 1 , 1 }n{−1,1}n\{-1,1\}^n- 1 , 1−1,1{-1,1} เราสามารถใช้คอมพิวเตอร์ควอนตัมเพื่อสุ่มตัวอย่างหรือประมาณตัวอย่างสุ่มจุดในรูปทรงหลายเหลี่ยมที่อธิบายโดยระบบของความไม่เท่าเทียมกัน n ในตัวแปร d หรือไม่? การย้ายจากความไม่เท่าเทียมกันไปยังจุดต่าง ๆ นั้นดูเหมือนกับฉันว่าเป็น "การเปลี่ยนแปลง" ยิ่งไปกว่านั้นฉันก็ยินดีที่จะได้เห็นอัลกอริธึมควอนตัมแม้ว่าคุณจะแก้ไขการกระจายตัวเช่นพิจารณาผลิตภัณฑ์ของการแจกแจงแบบเกาส์ที่อธิบายโดยไฮเปอร์เพลนของรูปทรงหลายเหลี่ยมหรือสิ่งอื่น ๆ ข้อสังเกตบางประการ: Dyer, Frieze และ Kannan ค้นพบอัลกอริธึมเวลาพหุนามคลาสสิกที่มีชื่อเสียงสำหรับกลุ่มตัวอย่างโดยประมาณและคำนวณปริมาตรของรูปทรงหลายเหลี่ยมโดยประมาณ อัลกอริทึมนั้นมาจากการเดินสุ่มและการผสมอย่างรวดเร็ว ดังนั้นเราต้องการค้นหาอัลกอริทึมควอนตัมที่แตกต่างกันเพื่อจุดประสงค์เดียวกัน (ตกลงเราสามารถหวังว่าอัลกอริทึมควอนตัมอาจนำไปสู่สิ่งต่าง ๆ ในบริบทนี้เราไม่ทราบว่าจะทำแบบคลาสสิก แต่เพื่อเริ่มต้นสิ่งที่เราต้องการคืออัลกอริทึมที่แตกต่างกันนี้จะต้องเป็นไปได้) ประการที่สองเราไม่ได้ยืนยันในการสุ่มตัวอย่างการกระจายเครื่องแบบโดยประมาณ เรายินดีที่จะทดลองตัวอย่างการกระจายที่ดีอื่น ๆ ซึ่งได้รับการสนับสนุนโดยประมาณในรูปทรงหลายเหลี่ยมของเรา มีการโต้แย้งโดย Santosh Vampala (และโดยฉันในบริบทอื่น) …

8
กราฟจากปัญหาชีวิตจริง
ฉันจะหากราฟที่เกี่ยวข้องกับปัญหาชีวิตจริงได้ที่ไหน ที่เก็บสองอันที่ฉันรู้จักคือ คอลเลคชัน Sparse Matrixของมหาวิทยาลัยฟลอริดา TreewidthLib ของBodlaender

16
คุณใช้เครื่องมืออะไรในการนำเสนองาน?
ฉันสงสัยว่าเครื่องมือใดที่ผู้คนในสาขานี้ (วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี) ใช้เพื่อสร้างงานนำเสนอ เนื่องจากวิทยาการคอมพิวเตอร์จำนวนมากไม่ได้เป็นเพียงแค่การเขียนเอกสาร แต่ยังให้การนำเสนอด้วยฉันจึงคิดว่านี่จะเป็นคำถามที่สำคัญ นี้เป็นแรงบันดาลใจคำถามก่อนหน้านี้สิ่งที่เครื่องมือที่คุณจะใช้ในการเขียนเอกสาร สิ่งที่พบบ่อยที่สุดที่ฉันเคยเห็นมีดังต่อไปนี้ Beamer Microsoft PowerPoint น้ำยาง GraphViz ฉันสงสัยว่ามีกลอุบายอื่น ๆ ที่ฉันขาดหายไปหรือไม่?

2
ลูกและการวิเคราะห์ช่องเก็บของใน
mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2ถังขยะแยกอิสระ2คู่ อาร์กิวเมนต์นี้ (ไม่ใช่แบบสมบูรณ์) ทำให้เราคาดหวังว่าช่องว่างระหว่างXmaxXmaxX_{\max}และXminXminX_{\min}คือΘ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n})มีความน่าจะเป็นสูง ฉันสนใจในช่องว่างระหว่างXmaxXmaxX_\maxและXsec−maxXsec−maxX_{\mathrm{sec-max}}{วินาทีสูงสุด}} อาร์กิวเมนต์ที่แสดงด้านบนแสดงให้เห็นว่าXmax−Xsec−max=O(mlogn/n−−−−−−−−√)Xmax−Xsec−max=O(mlog⁡n/n)X_\max - X_{\mathrm{sec-max}} = O(\sqrt{m\log n/n})มีความน่าจะเป็นสูง แต่ปัจจัยlogn−−−−√log⁡n\sqrt{\log n}ดูเหมือนไม่เกี่ยวข้อง . มีอะไรที่รู้เกี่ยวกับการกระจายของXmax−Xsec−maxXmax−Xsec−maxX_\max - X_{\mathrm{sec-max}} ? มากกว่าปกติสมมติว่าแต่ละลูกมีความเกี่ยวข้องกับที่ไม่ใช่เชิงลบคะแนนสำหรับแต่ละถังและเรามีความสนใจในคะแนนรวมของแต่ละถังหลังจากการขว้างปาmmmลูก ปกติสอดคล้องกับสถานการณ์ที่คะแนนของแบบฟอร์ม(0,…,0,1,0,…,0)(0,…,0,1,0,…,0)(0,\ldots,0,1,0,\ldots,0)0) สมมติว่าการกระจายความน่าจะเป็นของคะแนนคือคงอยู่ภายใต้การเปลี่ยนแปลงของถัง (ในสถานการณ์ปกติตรงนี้ความจริงที่ว่าถังขยะทั้งหมดที่มี equiprobable) ได้รับการกระจายของคะแนนที่เราสามารถใช้วิธีการของย่อหน้าแรกที่จะได้รับสิ่งที่ดีที่ถูกผูกไว้ในXmax−XminXmax−XminX_{\max} - X_{\min}นาที} ขอบเขตจะมีปัจจัยlogn−−−−√log⁡n\sqrt{\log n}ที่มาจากการรวมกลุ่ม (ผ่านความน่าจะเป็นหางของตัวแปรปกติ) ปัจจัยนี้จะลดลงได้ไหมถ้าเราสนใจที่จะ จำกัด ขอบเขต ?Xmax−Xsec−maxXmax−Xsec−maxX_{\max} …

5
บรรจุสี่เหลี่ยมลงในรูปหลายเหลี่ยมนูน แต่ไม่มีการหมุน
ฉันสนใจปัญหาของการบรรจุสำเนาที่เหมือนกันของรูปสี่เหลี่ยมผืนผ้า (2 มิติ) ลงในรูปหลายเหลี่ยมนูน (2 มิติ) โดยไม่ทับซ้อนกัน ในปัญหาของฉันคุณไม่ได้รับอนุญาตให้หมุนรูปสี่เหลี่ยมผืนผ้าและสามารถสันนิษฐานได้ว่าพวกมันวางขนานกับแกน คุณได้รับขนาดของสี่เหลี่ยมและจุดยอดของรูปหลายเหลี่ยมและถามว่าคุณสามารถบรรจุสำเนาสี่เหลี่ยมผืนผ้าที่เหมือนกันจำนวนเท่าไรลงในรูปหลายเหลี่ยมได้ หากคุณได้รับอนุญาตให้หมุนรูปสี่เหลี่ยมปัญหานี้เป็นที่รู้กันว่า NP- ยากฉันเชื่อว่า อย่างไรก็ตามสิ่งที่เป็นที่รู้จักกันถ้าคุณไม่สามารถ? ถ้ารูปหลายเหลี่ยมนูนออกมาเป็นแค่สามเหลี่ยม? มีวิธีการประมาณที่รู้จักกันดีหรือไม่หากปัญหานั้นเกิดจากปัญหา NP-hard สรุปจนถึงปัจจุบัน (21 มีนาคม '11) Peter Shor สังเกตว่าเราสามารถพิจารณาว่าปัญหานี้เป็นหนึ่งในหน่วยบรรจุสี่เหลี่ยมในรูปหลายเหลี่ยมนูนและปัญหานั้นอยู่ใน NP หากคุณกำหนดจำนวนพหุนามที่ถูกผูกไว้กับจำนวนสี่เหลี่ยม / สี่เหลี่ยมที่จะบรรจุ Sariel Har-Peled ชี้ให้เห็นว่ามี PTAS สำหรับกรณีที่ จำกัด ด้วยพหุนามเดียวกัน อย่างไรก็ตามโดยทั่วไปจำนวนสแควร์สที่บรรจุสามารถเป็นเลขชี้กำลังในขนาดของอินพุตซึ่งประกอบด้วยรายการจำนวนเต็มคู่สั้น ๆ เท่านั้น ดูเหมือนคำถามต่อไปนี้จะเปิด รุ่นที่ไม่มีขีด จำกัด เต็มรูปแบบใน NP หรือไม่ มี PTAS สำหรับรุ่นที่ไม่มีข้อ จำกัด หรือไม่ เป็นกรณีที่ถูกจำกัดความโดยพหุนามใน P …

1
อัลกอริธึม Logspace บนกราฟที่มีความกว้างของต้นไม้ล้อมรอบ
ความกว้างของต้นไม้วัดความสัมพันธ์ของกราฟกับต้นไม้ มันเป็นเรื่องยากที่จะคำนวณความกว้างของต้นไม้ NP- ที่ดีที่สุดที่รู้จักกันประมาณขั้นตอนวิธีการประสบความสำเร็จในปัจจัยO(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle ฯ ทฤษฎีบทที่ทรัพย์สินของกราฟใด ๆ ที่กำหนดในตรรกะที่สองสั่งเอก (MSO2) สามารถตัดสินใจในเส้นเวลาอยู่กับระดับของกราฟของความกว้างของต้นไม้ล้อมรอบใด เมื่อเร็ว ๆ นี้กระดาษแสดงให้เห็นว่าทฤษฎีบท Courcelle ยังคงถือหุ้นเมื่อ "เส้นเวลา" จะถูกแทนที่ด้วย "logspace" อย่างไรก็ตามสิ่งนี้ไม่ได้ตัดสินความซับซ้อนของพื้นที่ของกราฟ Isomorphismบนกราฟที่มีความกว้างของต้นไม้ล้อมรอบ ผลลัพธ์ที่รู้จักกันดีที่สุดวางไว้ใน LogCFL มีปัญหาอื่น ๆ ที่: NP-hard (หรือไม่ทราบว่าอยู่ใน P) บนกราฟทั่วไปและ ทราบว่าสามารถแก้ไขได้ในเวลาเชิงเส้น / พหุนามบนกราฟที่มีความกว้างของต้นไม้ที่ถูกล้อมรอบและ ไม่ทราบว่าอยู่ใน LogSpace หรือไม่

2
ตรรกะเชิงเส้นแบบพื้นบ้านคืออะไร?
อาจเป็นแอพพลิเคชั่นที่ใช้กันทั่วไปของประเภทเชิงเส้นใน PL คือการใช้ภาษาเหล่านั้นเพื่อให้นามแฝงควบคุม (กล่าวคือค่าเชิงเส้นมีตัวชี้เดียวให้มากหรือน้อย) แต่มีความไม่ตรงกันเล็กน้อยระหว่างการใช้งานนี้กับโมเดลเชิงเส้นตรงทั่วไปของลอจิกเชิงเส้น IIRC, เบนตันแสดงให้เห็นว่าหากหมวดหมู่ปิดคาร์ทีเซียนมีโมดัลสับเปลี่ยนที่แข็งแกร่งแล้วหมวดหมู่ของพีชคณิตของมันจะถูกปิดแบบสมมาตร (เช่นรูปแบบของตรรกะเชิงเส้น) แต่ทฤษฎีนี้ไม่ได้ใช้กับการใช้นามแฝงในการควบคุมเนื่องจากรัฐ monad ไม่ใช่การสับเปลี่ยน ในช่วงไม่กี่ปีที่ผ่านมาซิมป์สันและเพื่อนร่วมงานของเขาได้ให้แคลคูลัสสำหรับพระที่แข็งแกร่งทั่วไปซึ่งไม่ใช่แคลคูลัสเชิงตรรกะสำหรับเชิงเส้น ดังนั้นคำถามของฉันคืออะไรความหมายเชิง Denotational ของภาษาเชิงเส้นกับรัฐ? มี non-degenerate (เช่นเมตริกซ์ไม่ใช่ผลิตภัณฑ์คาร์ทีเซียน) ประเภท monoidal ปิดสมมาตรซึ่งการจัดสรรการอ่านและการปรับปรุงเชิงเส้นสามารถเป็นแบบจำลอง?

3
ขอบเขตใดที่สามารถใช้ในการนับโหนดที่สามารถเข้าถึงได้ในแบบ dag
รับเป็น dag คุณต้องการติดป้ายกำกับแต่ละโหนดด้วยจำนวนโหนดที่เข้าถึงได้จากโหนดนั้น เป็นขอบเขตบนเล็กน้อย เป็นขอบเขตล่าง (ฉันคิดว่า) มีอัลกอริทึมที่ดีกว่าหรือไม่ มีเหตุผลที่จะเชื่อว่าขอบเขตล่างนั้นสามารถปรับปรุงได้หรือไม่Ω ( V + E )O ( V( ฉบับที่+ E) )O(V(V+E))O(V(V+E))Ω ( V+ E)Ω(V+E)\Omega(V+E) แรงจูงใจ: ฉันต้องทำสองสามครั้งในขณะที่แสดงสูตร fol เป็น dags แก้ไข: โปรดทราบว่าเพียงแค่ทำนับเส้นทางที่ไม่สามารถเข้าถึงได้โหนด (ฉันเพิ่มสิ่งนี้เพราะเห็นได้ชัดว่าหลายคนคิดว่าวิธีแก้ปัญหาง่าย ๆ นี้จะทำงานโดยการโหวตที่ฉันเห็นในคำตอบที่ถูกลบตอนนี้) ในความเป็นจริงปัญหานี้จะปรากฏขึ้นอย่างแม่นยำเมื่อคุณต้องการทำบางสิ่งที่น่าสนใจ มากกว่าหนึ่งเส้นทาง นอกจากนี้ฉันพูดว่า dag เพราะถ้าพวกเขาได้รับการแก้ไขแล้วการแก้ digraphs เป็นเรื่องง่ายคx= 1 + ∑x → yคYcx=1+∑x→ycyc_x=1+\sum_{x\to y}c_y

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