วิทยาศาสตร์คอมพิวเตอร์

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

11 algorithms  graphs  optimization  matching  bipartite-matching 

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

11 concurrency  synchronization  mutual-exclusion 

ฉันสงสัยว่าทำไมเทป / เทปไม่ได้เป็นส่วนหนึ่งของคำนิยามที่เป็นทางการของ Turing Machine พิจารณาตัวอย่างเช่นคำนิยามอย่างเป็นทางการของเครื่องทัวริงในหน้าวิกิพีเดีย นิยามต่อไปนี้ Hopcroft และ Ullman รวมถึง: ชุด จำกัด ของรัฐ , ตัวอักษรเทป , สัญลักษณ์ว่างเปล่า , สถานะเริ่มต้น , ชุดของรัฐสุดท้าย , และฟังก์ชั่นการเปลี่ยนแปลง\} ไม่มีซึ่งเป็นเทปตัวเองΓ ข∈ Γ Q 0 ∈ Q F ⊆ Q δ : ( Q ∖ F ) × Γ →การQ × Γ × { L , …

11 turing-machines  computation-models 

รอบการทดสอบรหัสแฮชของ Google 2015 ( คำแถลงปัญหา ) ถามเกี่ยวกับปัญหาต่อไปนี้: อินพุต: กริดมีเครื่องหมายสี่เหลี่ยมจัตุรัสบางอันขีด จำกัดพื้นที่สูงสุดMMMT∈ NT∈ยังไม่มีข้อความT \in \mathbb{N}A ∈ NA∈ยังไม่มีข้อความA \in \mathbb{N} เอาท์พุท: พื้นที่ทั้งหมดที่เป็นไปได้ที่ใหญ่ที่สุดของชุดของรูปสี่เหลี่ยมเคลื่อนกับจำนวนเต็มพิกัดในเช่นกันว่ารูปสี่เหลี่ยมผืนผ้ามีอย่างน้อยทำเครื่องหมายสี่เหลี่ยมและสี่เหลี่ยมแต่ละมีพื้นที่มากที่สุดMMMTTTAAA ในศัพท์ของ Google กริดคือพิซซ่าสี่เหลี่ยมจัตุรัสที่ทำเครื่องหมายไว้เป็นแฮมและสี่เหลี่ยมที่แยกกันเป็นชิ้น เราสามารถเรียบเรียงปัญหานี้ใหม่อีกครั้งอย่างชัดเจนกับปัญหาการตัดสินใจโดยการเพิ่มอินพุตเพิ่มเติมและให้คำตอบคือ "มีชุดสี่เหลี่ยมมุมฉากที่ตอบสนองเงื่อนไขที่พื้นที่ทั้งหมดมีพื้นที่สี่เหลี่ยมจัตุรัสอย่างน้อยสี่เหลี่ยม"n ∈ Nn∈ยังไม่มีข้อความn \in \mathbb{N}nnn คำถามของฉัน:ในขณะที่ปัญหาของ Google ขอให้ผู้สมัครหาวิธีแก้ปัญหาที่ "ดีที่สุด" สำหรับปัญหาการคำนวณในบางกรณีฉันคิดว่าเป็นไปได้ว่าปัญหาทั่วไป (ในการตัดสินใจใช้ถ้อยคำ) เป็นปัญหาสมบูรณ์ อย่างไรก็ตามฉันไม่พบการลดลงเพื่อแสดงความแข็งของ NP (เป็นสมาชิกของ NP ทันที) วิธีที่จะพิสูจน์ว่าปัญหานี้เป็นปัญหาที่ยาก? ตัวอย่างต่อไปนี้เพื่อช่วยให้เห็นภาพของปัญหา พิจารณาจากตาราง , มีสี่เหลี่ยมทำเครื่องหมาย ,และแสดงกราฟิกด้วยเพื่อระบุสี่เหลี่ยมที่ทำเครื่องหมายไว้:444444{ 0 , 1 , …

11 complexity-theory  reductions  np-hard 

ฉันรู้ว่ามันไร้สาระ แต่ฉันจัดการเพื่อทำให้สับสนและฉันต้องการความช่วยเหลือในการแก้ไขปัญหานี้ สมมติว่าแล้วอย่างชัดเจนสำหรับทุก oracle เรามีซึ่งขัดแย้งกับความจริงที่ว่ามีอยู่บาง oracle ที่จึงP=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq NP^AP≠NPP≠NPP\neq NP มีอะไรผิดปกติ? ขอบคุณ!

11 complexity-theory  p-vs-np  oracle-machines 

ฉันเป็นนักเรียน CS เริ่มต้นและฉันกำลังเรียนรู้อัลกอริทึม ผมได้ยินมาว่าแม้จะมีคอมพิวเตอร์ควอนตัมที่ขั้นตอนวิธีการเรียงลำดับโดยทั่วไปไม่สามารถมีดีกว่าเวลา อย่างไรก็ตามฉันยังรู้ว่าอัลกอริทึมการแฟ็กเตอริงจะเร็วขึ้นมาก โดยทั่วไปแล้วอัลกอริธึมชนิดใดที่จะเร็วขึ้นอย่างมากสำหรับคอมพิวเตอร์ควอนตัมไม่มีบันทึกnnเข้าสู่ระบบ⁡nn\log n

11 algorithms  quantum-computing 

ฉันสงสัยว่ามีอัลกอริทึมแบบพหุนามสำหรับ "2-SAT พร้อมความสัมพันธ์ XOR" ทั้ง 2-SAT และ XOR-SAT อยู่ใน P แต่เป็นการรวมกันหรือไม่ อินพุตตัวอย่าง: ส่วนที่ 2-SAT: (a or !b) and (b or c) and (b or d) ส่วนแฮคเกอร์: (a xor b xor c xor 1) and (b xor c xor d) กล่าวอีกนัยหนึ่งอินพุตเป็นสูตรบูลีนต่อไปนี้: ( ∨ ¬ ข) ∧ ( ข∨ ค) ∧ ( …

11 np-complete  satisfiability  xor  2-sat 

สิ่งที่เรารู้ก็คือπนั้นไม่มีที่สิ้นสุดและมีแนวโน้มว่ามันจะมีสตริงจำนวน จำกัด ทุกตัวที่เป็นไปได้ ( ลำดับที่แยกออก ) ฉันได้เห็นต้นแบบของπfsซึ่งสมมติว่าทุกไฟล์ที่คุณสร้าง (หรือใคร ๆ ) หรือคุณจะสร้างมันมีอยู่แล้วดังนั้นมันจึงเป็นเรื่องของการแตกไฟล์ นอกจากนี้ยังมีpiFileซึ่งสามารถแปลงไฟล์ของคุณเป็น pi metadata มีสูตรประเภท BBPอยู่แล้ว(ซึ่งเป็นส่วนหนึ่งของการทดลองทางคณิตศาสตร์) ซึ่งช่วยให้เราสามารถคำนวณเลขฐานสองที่nของไพ ดังนั้นการจัดเก็บตำแหน่งเริ่มต้นและความยาวของข้อมูลเราสามารถแยกข้อมูลที่เราสนใจตามหลักวิชาได้ มีข้อโต้แย้งว่าข้อมูลเมตาของเรา(เช่นการชดเชยข้อมูลของเรา) อาจมีขนาดใหญ่กว่าข้อมูลที่แยกออกมา สัญลักษณ์เมทริกซ์และπสามารถเข้ารหัสในฐาน 256 เพื่อให้มีประสิทธิภาพมากขึ้น (ดูเรื่องตลก ) จากคำถามข้างต้นคำถามหลักของฉันคือ: มีอัลกอริธึมการบีบอัดใด ๆ ที่อิงกับ PI หรือไม่ ถ้าไม่มันทำให้รู้สึก? หรือมีงานวิจัยในบริเวณนั้นบ้าง? หรือบางทีπไม่ใช่สิ่งที่ถูกต้องดังนั้นค่าคงที่ของออยเลอร์หรือTau (τ) ล่ะ? มันจะสร้างความแตกต่างหรือไม่? เครดิตภาพ: ไดโนเสาร์การ์ตูน ดูสิ่งนี้ด้วย: สตริงบิต จำกัด ใด ๆ สามารถพบได้ใน pi ภายในระยะเวลาที่เหมาะสมหรือไม่? ที่ดังนั้น จะไม่จัดเก็บดัชนีไว้ในπจะใหญ่ (หรือใหญ่กว่า) …

11 algorithms  data-compression  mathematical-programming 

การมีอยู่ของปัญหาที่ไม่สามารถคาดเดาได้บ่งบอกถึงระบบที่ไม่สามารถคาดการณ์ได้ในทันที ให้เราพิจารณาปัญหาการหยุดชะงักก่อนอื่นเราสร้าง UTM ทางกายภาพโดยใช้การสร้างวงจรตามปกติ จากนั้นจะไม่มีทฤษฎีทางกายภาพที่สามารถตัดสินใจได้ซึ่งกำหนดได้ว่าจะมีการตั้งค่าอินพุตใด ๆ ของวงจรไม่ว่าจะหยุดวงจรหรือไม่ ดูเหมือนว่าจะเป็นเรื่องไม่สำคัญ แต่นี่ไม่ได้ทำให้เราคาดเดาไม่ได้โดยไม่มีการอ้างอิงถึงการพิจารณาเชิงปริมาณหรือความวุ่นวาย ยิ่งกว่านั้นเราสามารถสร้างความเข้มแข็งให้กับข้อโต้แย้งข้างต้นโดยการสังเกตว่าไม่มีอะไรพิเศษเกี่ยวกับวงจรที่ใช้ UTM ดังนั้นเราจึงมีพฤติกรรมของระบบทางกายภาพที่ไม่สามารถคาดเดาได้ทั่วไปในทุกระดับที่สามารถสร้าง UTM ได้ แก้ไข: ทั้ง Babou และ Ben Crowell ชี้ให้เห็นว่าการสร้างวงจรที่แนะนำของฉันเป็นเพียง LBA ตามที่ฉันถกเถียงในความคิดเห็นฉันคิดว่ามันง่ายและใช้งานง่ายที่จะจินตนาการถึงเครื่องจักรที่มีอยู่จริง แต่ไม่ได้ จำกัด ขอบเขตเป็นเส้นตรง เพียงสร้างเครื่องจักร (หุ่นยนต์) ที่สามารถเลื่อนไปทางซ้าย / ขวาบนอินพุตได้หลายครั้งโดยอัตโนมัติและสมมติว่ามันมีแหล่งจ่ายไฟ จำกัด แต่ไม่ใช่แหล่งพลังงานที่หมดอายุ ทีนี้เราก็พบปัญหาที่เอกภพมีขอบเขต จำกัด แต่นั่นทำให้เราสามารถสรุปได้ว่าเอกภพนั้นมีขอบเขต จำกัด หรือความหวังดั้งเดิมที่เกิดขึ้นจะต้องเป็นจริง (นั่นก็ยังเป็นข้อสรุปที่น่าประหลาดใจที่จะมาถึงข้อโต้แย้งข้างต้น) .

11 computability  turing-machines  undecidability  physics 

ฉันกำลังมองหาที่แคลคูลัสของการก่อสร้างและสถานที่ในแลมบ์ดา Cube ถ้าผมเข้าใจอย่างถูกต้องแกนของลูกบาศก์แต่ละคนสามารถจะคิดว่าเป็นการเพิ่มการดำเนินการอื่นที่เกี่ยวข้องกับประเภทที่จะแคลคูลัสเพียงแค่พิมพ์, \แกนแรกจะเพิ่มตัวดำเนินการชนิดต่อคำ, ตัวดำเนินการชนิดต่อชนิดที่สองและตัวพิมพ์ที่สามที่ขึ้นอยู่กับหรือตัวดำเนินการแบบระยะต่อชนิด CoC มีทั้งหมดสามอย่างλ→λ→\lambda_\to อย่างไรก็ตาม CoC แนะนำคำว่าและระบุว่าตามกฎการอนุมานแต่ไม่ได้ใช้ ฉันเข้าใจว่ามันมีไว้สำหรับข้อเสนอที่บาร์นี้ แต่ข้อเสนอเชิงตรรกะไม่ได้กำหนดไว้ในแง่ของมันPropPropPropProp:TypeProp:TypeProp : Type คุณช่วยอธิบายให้ฉันฟังได้ว่าสำหรับอะไรที่ไหน / เมื่อไหร่และอธิบายในแง่ของแกนของลูกบาศก์ (ถ้าเป็นไปได้ที่จะทำเช่นนั้น)PropPropProp

11 terminology  lambda-calculus  type-theory  dependent-types 

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

11 algorithms  graph-theory  graph-isomorphism 

ฉันสงสัยว่าหากมีปัญหาเกี่ยวกับปัญหาซึ่งเป็นพหุนาม "โดยเฉลี่ย" ฉันคิดว่ามีสองวิธีในการตีความสิ่งนี้ยังไม่มีข้อความPยังไม่มีข้อความPNP ถ้าจะมีอัลกอริทึมในการแก้ปัญหาปัญหาเกี่ยวกับค่าเสื่อมราคา (กรณีเฉลี่ย) เวลาทำงานของสำหรับค่าคงที่หรือไม่?N P O ( n k ) kP≠ NPP≠ยังไม่มีข้อความPP \neq NPยังไม่มีข้อความPยังไม่มีข้อความPNPO ( nk)O(nk)O(n^k)kkk มีปัญหาใดบ้างที่ -hard ซึ่งอยู่ในหรือแม้แต่ ?B P P P Pยังไม่มีข้อความPยังไม่มีข้อความPNPBPPBPPBPPPPPPPP ใครสามารถตอบหรือให้การอ้างอิงตอบคำถามอย่างใดอย่างหนึ่งเหล่านี้

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

ฉันได้อ่านแล้วว่าระบบปฏิบัติการอย่าง Android และ iOS นั้นได้รับการปรับปรุงให้ดีขึ้นเพื่อปรับปรุงอายุการใช้งานแบตเตอรี่ ความเข้าใจของฉันคือ CPU ดำเนินการจำนวนหนึ่งในเวลาที่กำหนดดังนั้นฉันคิดว่าคุณสามารถเร่งความเร็วแอปพลิเคชันโดยลดจำนวนการดำเนินการที่ต้องการ แต่เนื่องจาก CPU จะยังคงทำงานxในเวลาyซึ่งไม่ควร ส่งผลกระทบต่อพลัง? นอกจากนี้หากกระบวนการใช้ RAM มากกว่าจะใช้พลังงานมากกว่าหรือไม่

11 computer-architecture  operating-systems  performance  program-optimization 

ให้จะมีบางปัญหาการนับซึ่งเป็นที่รู้จักกัน# Pสมบูรณ์ΠΠ\PiPPP มันหมายความว่าเป็นA P X -hard (เช่นไม่มีPTASสำหรับปัญหาอยู่เว้นแต่P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

อัลกอริทึมการประมาณ bicriteria คืออะไร? สิ่งนี้จะเกิดขึ้นในกรณีของการจัดกลุ่มสตรีมข้อมูล สิ่งนี้เกี่ยวข้องกับการเพิ่มประสิทธิภาพหลายวัตถุประสงค์หรือไม่ นี่คือที่ฉันเจอ: cis.upenn.edu/~sudipto/mypapers/datastream.pdf บทความนี้เกี่ยวกับอัลกอริทึม k-mean รุ่นสตรีมมิ่ง มีการอ้างอิงในกระดาษ แต่ไม่มีใครอธิบายได้ว่าอัลกอริทึมการประมาณแบบ bicriteria คืออะไร ฉันไม่สามารถหาอะไรใน Google ที่จะให้คำจำกัดความที่แม่นยำกับฉัน

11 optimization  approximation