คำถามติดแท็ก big-list

ขณะนี้ฉันกำลังพยายามค้นหาปัญหาที่สมบูรณ์แบบของ EXPSPACE (ส่วนใหญ่จะค้นหาแรงบันดาลใจสำหรับการลดลง) และฉันรู้สึกประหลาดใจเมื่อมีผลลัพธ์จำนวนเล็กน้อยขึ้นมา จนถึงตอนนี้ฉันพบสิ่งเหล่านี้และฉันมีปัญหาในการขยายรายการ: ความเป็นสากล (หรือคุณสมบัติอื่น ๆ ) ของนิพจน์ทั่วไปที่มีการยกกำลัง ปัญหาที่เกี่ยวข้องกับระบบการเพิ่มเวกเตอร์ เกมที่ไม่สามารถเข้าถึงได้ (ดูตัวอย่างบล็อกนี้ ) บางส่วนของ FO-LTL ในความซับซ้อนในการคำนวณของเศษชิ้นส่วนของ Logics Temporal เชิงเส้นแรก คุณรู้บริบทอื่น ๆ เมื่อ EXPSPACE-ครบถ้วนสมบูรณ์ปรากฏขึ้นตามธรรมชาติ?

23 cc.complexity-theory  reference-request  big-list 

แรงบันดาลใจจากคำถามนี้สิ่งที่เป็นปัญหาที่สำคัญและการแก้ปัญหาที่มีอยู่ซึ่งต้องการการปรับปรุงในโดเมนระบบกระจาย (ทฤษฎี) สิ่งที่ต้องการโปรโตคอลสมาชิกความสอดคล้องของข้อมูล?

23 big-list  dc.distributed-comp 

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

23 soft-question  big-list  paper-review 

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

23 graph-theory  big-list  co.combinatorics  data-sets 

นี่คือแนวของ " อัลกอริทึมจากหนังสือ " แม้ว่าการลดลงจะเป็นอัลกอริทึมเช่นกัน แต่ฉันคิดว่ามันน่าสงสัยว่าจะลดการตอบสนองต่อคำถามเกี่ยวกับอัลกอริทึมจากหนังสือ ดังนั้นคำค้นหาแยกต่างหาก! การลดลงของทุกชนิดยินดีต้อนรับมากที่สุด ฉันจะเริ่มต้นด้วยการลดที่ง่ายมากจากจุดสุดยอดไปจนถึง multicut บนดวงดาว การลดลงเกือบจะบ่งบอกถึงตัวเองเมื่อมีการระบุปัญหาต้นกำเนิด (ก่อนที่ฉันจะพบว่ามันยากที่จะเชื่อว่าปัญหาจะยากสำหรับดาว) การลดลงนี้เกี่ยวข้องกับการสร้างดาวที่มีใบไม้ใบและเชื่อมขั้วคู่กับขอบในกราฟและมันเป็น "มองเห็นได้ง่าย" ที่ใช้งานได้ ฉันจะอัปเดตสิ่งนี้พร้อมลิงค์ไปยังข้อมูลอ้างอิงเมื่อฉันเจอแล้วnnn ผู้ที่กำลังหายไปบริบทของหนังสือเล่มนี้อาจต้องการที่จะดูที่คำถามเกี่ยวกับอัลกอริทึมจากหนังสือ อัปเดต:ฉันรู้ว่าฉันไม่ชัดเจนว่ามีคุณสมบัติเพียงพอที่จะลดจากหนังสือ ฉันพบปัญหานี้เล็กน้อยหากินดังนั้นฉันขอสารภาพครึ่งจงใจหลบปัญหาโดยลื่นไถลในการอ้างอิงถึงหัวข้ออื่น ๆ :) ดังนั้นให้ฉันอธิบายสิ่งที่ฉันมีในใจและฉันคิดว่ามันไปโดยไม่พูด - YMMV ในเรื่องนี้ ฉันตั้งใจจะเปรียบเทียบโดยตรงกับเจตนาดั้งเดิมของการพิสูจน์จากหนังสือ ฉันได้เห็นการลดลงที่ฉลาดมากและทำให้ฉันอ้าปากค้างว่าลำดับความคิดนั้นอาจเกิดขึ้นกับใครได้บ้าง ในขณะที่การลดลงดังกล่าวทำให้ฉันรู้สึกหวาดกลัวอย่างชัดเจน แต่นั่นไม่ใช่ตัวอย่างที่ฉันต้องการรวบรวมในบริบทนี้ สิ่งที่ฉันกำลังมองหาคือการลดลงที่อธิบายได้โดยไม่ยากเกินไปและอาจจะน่าประหลาดใจเล็กน้อยเพราะเหตุผลที่พวกเขาเข้าใจง่าย แต่ไม่ง่ายที่จะเกิดขึ้น หากคุณประเมินว่าการลดคำถามจะต้องมีการบรรยายเพื่อให้ครอบคลุมอาจเป็นไปได้ว่าไม่เหมาะกับการเรียกเก็บเงินแม้ว่าฉันแน่ใจว่าอาจมีข้อยกเว้นที่ความคิดระดับสูงสง่างามและปีศาจในรายละเอียด (สำหรับ ฉันไม่แน่ใจว่าจะนึกถึงอะไร) ตัวอย่างที่ฉันให้นั้นเรียบง่ายโดยเจตนาและหวังว่าจะเป็นตัวอย่างของลักษณะเหล่านี้ ผมครั้งแรกที่ได้ยินเกี่ยวกับหลายตัดอยู่ในห้องเรียนและอาจารย์ผู้สอนของเราเริ่มต้นด้วยการบอกว่าไม่เพียง แต่มันเป็น NP-ยากโดยทั่วไปก็คือ NP-แม้ยากที่ จำกัด เมื่อต้นไม้ ... {} ละครหยุดของความสูง หนึ่ง ฉันจำได้ว่าไม่สามารถพิสูจน์ได้ทันทีแม้ว่าจะดูเหมือนชัดเจนในการหวนกลับ ฉันคิดว่าชัดเจนเมื่อมองย้อนหลังอย่างใกล้ชิดอธิบายสิ่งที่ฉันกำลังมองหา ฉันไม่แน่ใจว่าสิ่งนี้มีส่วนเกี่ยวข้องกับความซับซ้อนของคำอธิบายหรือไม่ - …

22 ds.algorithms  np-hardness  big-list  reductions 

ฉันกำลังมองหาภาษาที่ "อาจไม่ปลอดบริบท" แต่เราไม่สามารถพิสูจน์ได้โดยใช้เทคนิคมาตรฐานที่เป็นที่รู้จัก มีการสำรวจเมื่อเร็ว ๆ นี้ในหัวข้อหรือหัวข้อปัญหาเปิดจากการประชุมเมื่อเร็ว ๆ นี้หรือไม่? อาจมีไม่กี่ภาษาที่ไม่รู้จัก CF ดังนั้นถ้าคุณรู้จักคุณสามารถโพสต์เป็นคำตอบได้ ตัวอย่างที่ฉันพบคือ: ภาษาที่รู้จักกันดีของคำดั้งเดิม (มีหนังสือเล่มใหม่ที่ดีทั้งเล่ม: ภาษาปลอดบริบทและคำดั้งเดิม )Q = { W | W ≠ ยูผม( | u | > 1 ) }Q={w∣w≠ui(|u|>1)}Q = \{ w \mid w \neq u^i (|u| > 1) \} การเป็นตัวแทน Base-k ของ co-domain ของพหุนาม (ดูคำถาม " การเป็นตัวแทน Base-k …

21 reference-request  big-list  context-free 

มีหลายสถานที่ที่ตัวเลขππ\piและ( 1 + 5)-√) / 2(1+5)/2(1+\sqrt5)/2ปรากฏขึ้น ฉันอยากรู้เกี่ยวกับอัลกอริทึมที่เวลาทำงานมีอัตราส่วนทองคำหรือππ\piในเลขชี้กำลัง

21 reference-request  big-list 

ในคำถามนี้เราพบว่ามีปัญหาตามธรรมชาติที่เป็นปัญหา NP-complete ภายใต้การลดแบบสุ่ม แต่อาจไม่ได้อยู่ภายใต้การลดลงที่กำหนด (แม้ว่าจะขึ้นอยู่กับสมมติฐานที่พิสูจน์ไม่ได้ในทฤษฎีจำนวน) ทราบถึงปัญหาอื่น ๆ อีกหรือไม่? มีปัญหาตามธรรมชาติใดบ้างที่ NP-complete ภายใต้การลด P / โพลี แต่ไม่ทราบว่าอยู่ภายใต้การลด P?

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

ฉันใช้จุง ( http://jung.sourceforge.net/ ) เพื่อให้เห็นภาพอันดับของหน้าและพบว่ามันช้าและยากที่จะปรับขนาดมันเกิน 100 โหนด ฉันสงสัยว่าเครื่องมืออื่นใดที่ผู้คนใช้สำหรับการวิเคราะห์เครือข่ายและเครือข่ายสังคมออนไลน์

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

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

19 ds.algorithms  big-list 

ฉันต้องการทราบว่ามีการคาดเดาที่ไม่ได้พิสูจน์มานานแล้วใน TCS ที่ได้รับการพิสูจน์ในภายหลังโดยความหมายจากทฤษฎีบทอื่นที่อาจพิสูจน์ได้ง่ายกว่า

18 reference-request  soft-question  big-list 

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

18 ds.algorithms  big-list  time-complexity 

ฉันคิดว่ามันเป็นความคิดที่ดีที่จะสร้างรายการของทฤษฎีบทที่ระบุว่า P ไม่เท่ากับ NP หากและหากว่าเช่นนั้นและออกไปแล้วคลาสความซับซ้อนบางอย่างจะมีอยู่ในคลาสความซับซ้อนอื่นและต่อ ๆ ไปเรื่อย ๆ

18 cc.complexity-theory  big-list  p-vs-np 

มหาวิทยาลัยใดบ้างที่มีหลักสูตรการคำนวณควอนตัมที่แข็งแกร่งและเสนอการคำนวณควอนตัม / หลักสูตรสารสนเทศ / การวิจัยบางประเภท จุดมุ่งหมายที่นี่คือการรวบรวมรายการที่มีประโยชน์สำหรับใครบางคนที่กำลังพิจารณาการศึกษาระดับบัณฑิตศึกษาในสาขาเหล่านี้ไม่ใช่เพื่อหารือเกี่ยวกับสิ่งที่ "ดีที่สุด" เพื่อให้รายการนี้มีประโยชน์โปรดระบุคำอธิบายโดยย่อเกี่ยวกับส่วนหนึ่งของมหาวิทยาลัยที่มีการดำเนินการในส่วนนี้ (ในหลาย ๆ ที่นี่เป็นสถาบันสหวิทยาการที่ทุกคนอาจไม่คุ้นเคย) และ URL

18 soft-question  quantum-computing  big-list  quantum-information 

ปัญหาความซับซ้อนของการคำนวณแบบเปิดที่เกิดขึ้นจากภาษาการเขียนโปรแกรมโดยเฉพาะการวิเคราะห์และการคอมไพล์คืออะไร ฉันกำลังมองหาปัญหาในบรรทัดของ "ความซับซ้อนของเวลาของการอนุมานแบบ Hindley-Milner" หรือ "ความซับซ้อนของเวลาของ 0CFA" (แม้ว่าทั้งคู่จะได้รับการแก้ไขปัญหา)

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem