คำถามติดแท็ก reference-request

มีหนังสือเกี่ยวกับอัลกอริทึมออนไลน์บ้างไหม ฉันรู้เพียงแค่หนังสือสองเล่มในเรื่องนี้ การคำนวณออนไลน์และการวิเคราะห์การแข่งขันโดย Allan Borodin และ Ran El-Yaniv: นี่คือหนังสือคลาสสิก แต่เก่าและไม่มีความก้าวหน้าล่าสุดมากมายในสาขานี้ การออกแบบอัลกอริทึมการแข่งขันออนไลน์ผ่านวิธี Primal-Dualโดย Niv Buchbinder และ Joseph (Seffi) Naor: นี่คือหนังสือเล่มใหม่และมีผลลัพธ์ล่าสุดมากมาย อย่างไรก็ตามขอบเขตของมัน จำกัด เฉพาะอัลกอริธึมแบบสองเท่าที่ใช้ LP กรุณาระบุรายชื่อหนังสือทั้งหมดเกี่ยวกับอัลกอริทึมออนไลน์ที่คุณอาจรู้จัก หากมีหนังสือใด ๆ บนเว็บอย่างอิสระนั่นจะยอดเยี่ยม

13 reference-request  big-list  online-algorithms 

สำหรับฉันแล้วดูเหมือนว่าผู้เชี่ยวชาญด้านการเรียนรู้เครื่องจักร / การขุดข้อมูลคุ้นเคยกับ P และ NP แต่ไม่ค่อยพูดถึงบางคลาสที่ซับซ้อนยิ่งขึ้น (เช่น NC, BPP หรือ IP) และความหมายของการวิเคราะห์ข้อมูลได้อย่างมีประสิทธิภาพ มีการสำรวจงานที่ทำเช่นนี้หรือไม่?

13 cc.complexity-theory  reference-request  machine-learning 

สูตรที่เล็กที่สุดที่รู้จักกันสำหรับปัจจัยที่มีขนาดตามที่ชาวบ้าน (หรือจะวิ่ง Raz ในกระดาษหลายแนวตรงสูตรสำหรับถาวรและปัจจัยที่มีขนาด Super-พหุนาม )nO (บันทึกn )nO(เข้าสู่ระบบ⁡n)n^{\mathcal O(\log n)} คุณมีข้อมูลอ้างอิงเกี่ยวกับเรื่องนี้หรือไม่? โดยเฉพาะสูตรนี้คืออะไร?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

เพื่อเป็นการฉลองวันเกิดครบรอบ 100 ปีของอลันทัวริงฉันต้องการดูสารคดีเกี่ยวกับชีวิตของเขา อย่างไรก็ตามมีสารคดีให้เลือกหลายเรื่อง คุณชื่นชอบสารคดีเรื่องใดเกี่ยวกับ Alan Turing โปรดรวมสารคดีเพียงหนึ่งข้อต่อคำตอบ

13 reference-request  soft-question  big-list  ho.history-overview 

ได้รับภาพถ่ายกราฟหนึ่งสามารถฝังไว้ในเส้นเวลาข้ามฟรีเป็นตาราง ฉันสนใจว่าอัลกอริธึมที่มีประสิทธิภาพใด ๆ ที่รู้จักกันว่าเป็นเส้นตรงฝังกราฟระนาบข้ามลงในตารางn c × n cสำหรับcขนาดเล็กบางอย่างหรือไม่เช่นนั้นมุมต่ำสุดระหว่างสองขอบจะขยายใหญ่สุดหรือไม่?n × nn×nn \times nnค× nคnc×ncn^c \times n^cคcc

13 reference-request  graph-theory  graph-drawing 

ฉันสนใจในความซับซ้อนของปัญหาที่มีอำนาจเหนือชุด (DSP) ในบางชั้นเรียนกราฟเฉพาะอย่างซึ่งเป็นคลาสย่อยของกราฟคอร์ดั กราฟเป็นกราฟเส้นทางที่ไม่ได้บอกทิศทางหากเป็นกราฟจุดตัดยอดของตระกูลของเส้นทางในต้นไม้ที่ไม่ได้บอกทิศทาง ให้ UP เป็นคลาสของกราฟพา ธ ที่ไม่ได้บอกทิศทาง กราฟเป็นกราฟEPTหากเป็นกราฟตัดกันของตระกูลของเส้นทางในต้นไม้ที่ไม่ได้กำหนดทิศทาง กราฟ EPT อาจไม่ใช่คอร์ด แต่ให้ CEPT เป็นคลาสของกราฟ EPT คอร์ด กราฟคือกราฟเส้นทางชี้นำ (รูต)หากเป็นกราฟจุดตัดยอดของตระกูลเส้นทางกำกับในต้นไม้กำกับที่มีรากบางต้น (เช่นอาร์คทั้งหมดชี้ไปจากราก) ให้ RDP เป็นคลาสของกราฟพา ธ ที่กำกับ (root) เรามีRDP⊆CEPT⊆UP⊆chordalRDP⊆CEPT⊆UP⊆chordalRDP\subseteq CEPT \subseteq UP\subseteq chordal เป็นที่ทราบกันว่า DSP สามารถแก้ปัญหาแบบเส้นตรงเวลาสำหรับกราฟใน RDP แต่ NP-complete สำหรับกราฟของ UP [ Booth and Johnson, 1981 ] ฉันสนใจในกราฟพิเศษที่สอดคล้องกับกราฟจุดตัดของครอบครัวของเส้นทางที่ไม่มีทิศทางในต้นไม้ที่เหมือนหนอนผีเสื้อที่มีระดับสูงสุด 3 อย่างแม่นยำยิ่งขึ้น "หนอนผีเสื้อ" …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

คำจำกัดความของตัวเลข Ramsey มีดังต่อไปนี้: Letเป็นจำนวนบวกดังกล่าวว่ากราฟของการสั่งซื้ออย่างน้อยทุกมีทั้งก๊กบนจุดหรือชุดที่มีเสถียรภาพในจุดR ( a , b ) a bR(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb ฉันกำลังทำงานกับส่วนขยายของตัวเลขแรมซีย์ ในขณะที่การศึกษามีความสนใจทางทฤษฎีมันเป็นสิ่งสำคัญที่จะรู้ว่าแรงจูงใจของตัวเลขเหล่านี้ โดยเฉพาะอย่างยิ่งฉันสงสัยว่าแอปพลิเคชั่น (ทางทฤษฎีหรือทางปฏิบัติ) ของตัวเลขแรมซีย์ ตัวอย่างเช่นมีวิธีการแก้ปัญหาสำหรับปัญหาชีวิตจริงที่ใช้หมายเลขแรมซีย์หรือไม่? หรือในทำนองเดียวกันมีบทพิสูจน์ของทฤษฎีบทบางอย่างที่ใช้ตัวเลขของแรมซีย์หรือไม่?

13 reference-request  co.combinatorics  ramsey-theory 

ฉันสนใจในการสร้างแบบจำลองวัตถุจากการเขียนโปรแกรมเชิงวัตถุในทฤษฎีประเภทขึ้นอยู่กับ ในฐานะที่เป็นแอพพลิเคชั่นที่เป็นไปได้ฉันต้องการมีแบบจำลองที่ฉันสามารถอธิบายคุณสมบัติที่แตกต่างของภาษาการเขียนโปรแกรมที่จำเป็น ฉันสามารถหาเอกสารเกี่ยวกับการสร้างแบบจำลองวัตถุในทฤษฎีประเภทพึ่งพาซึ่งก็คือ: การเขียนโปรแกรมเชิงวัตถุในทฤษฎีชนิดพึ่งพาโดย A. Setzer (2006) มีการอ้างอิงเพิ่มเติมในหัวข้อที่ฉันพลาดไปหรืออาจจะมีการอ้างอิงล่าสุดหรือไม่ อาจมีการดำเนินการ (เช่นหลักฐาน) สำหรับนักทฤษฎีบทเช่น Coq หรือ Agda หรือไม่?

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

ฉันมีคำถามเกี่ยวกับ SERF-reducibility ของImpagliazzo, Paturi และ Zaneและอัลกอริทึมย่อย คำจำกัดความของ SERF-reducibility มีดังต่อไปนี้: ถ้าสามารถลดค่าและมีอัลกอริทึมสำหรับสำหรับแต่ละดังนั้นจะมีอัลกอริทึมสำหรับสำหรับแต่ละ0 (พารามิเตอร์ความแข็งสำหรับปัญหาทั้งสองจะแสดงโดย )P1P1P_1P2P2P_2O(2εn)O(2εn)O(2^{\varepsilon n})P2P2P_2ε>0ε>0\varepsilon > 0O(2εn)O(2εn)O(2^{\varepsilon n})P1P1P_1ε>0ε>0\varepsilon > 0nnn แหล่งข้อมูลบางแหล่งดูเหมือนว่ามีสิ่งต่อไปนี้เช่นกัน หากเป็นข้าแผ่นดิน-ออกซิเจนและมีอัลกอริทึมสำหรับแล้วมีอัลกอริทึมสำหรับP_1P1P1P_1P2P2P_2O(2o(n))O(2o(n))O(2^{o(n)})A2A2A_2O(2o(n))O(2o(n))O(2^{o(n)})P1P1P_1 คำถามของฉันคือข้อเรียกร้องหลังนี้มีอยู่จริงหรือไม่และถ้ามีมีการพิสูจน์หลักฐานบ้างไหม? เป็นพื้นหลังฉันได้พยายามทำความเข้าใจกับพื้นที่รอบ ๆ สมมติฐานเวลาเอ็กซ์โพเนนเชียล IPZ กำหนดปัญหา subexponential เป็นสิ่งที่มีอัลกอริธึมสำหรับแต่ละแต่สิ่งนี้เห็นได้ชัดว่าไม่เพียงพอในความรู้ในปัจจุบันที่จะบ่งบอกถึงการดำรงอยู่ของอัลกอริธึมพิเศษสำหรับปัญหา . ดูเหมือนว่าช่องว่างเดียวกันจะปรากฏในการลดขนาด SERF แต่ฉันคาดหวังว่าฉันจะพลาดบางสิ่งบางอย่างที่นี่ ...O(2εn)O(2εn)O(2^{\varepsilon n})ε>0ε>0\varepsilon > 0

13 cc.complexity-theory  reference-request 

ในคำจำกัดความของความสามารถในการแก้ไขพารามิเตอร์รัดกุม (รัดกุม) ขอบเขตเวลาคือนิพจน์ของฟอร์มอินสแตนซ์อินพุตคือพร้อมพารามิเตอร์ ,คือ พหุนามและเป็นฟังก์ชันที่คำนวณได้f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff เป็นไปได้ที่จะแทนที่ข้อกำหนดการคำนวณสำหรับด้วยฟังก์ชันคลาสอื่น ๆ ตราบใดที่แนวคิดเรื่องการลดนั้นถูก จำกัด ในทำนองเดียวกัน (ตัวอย่างเช่น Flum และ Grohe ครอบคลุมครอบครัวเอ็กซ์โปแนนเชียลและเอ็กซ์โปแนนเชียลในบทที่ 15–16 ของหนังสือเรียนของพวกเขาพร้อมด้วยการลดเอลฟ์และเซอร์ฟที่เกี่ยวข้อง)fff มีใครศึกษาตระกูลของฟังก์ชันพื้นฐานสำหรับพารามิเตอร์ที่ถูกผูกไว้ ?fff ฟังก์ชั่นประถมศึกษาสามารถกระโดดข้างต้นโดยหอคงที่ของ exponentials ดังนั้นชั้นนี้ปิดให้บริการภายใต้องค์ประกอบ การเจริญเติบโตของพารามิเตอร์ในการลดลงจะต้องถูกล้อมรอบด้วยฟังก์ชันพื้นฐานเช่นกัน มีปัญหาที่น่าสนใจจากทฤษฎีออโตมาตะซึ่งเป็นพารามิเตอร์คงที่ซึ่งสามารถแก้ไขได้ง่าย แต่ในกรณีที่พารามิเตอร์ที่ผูกไว้นั้นไม่ใช่แบบเบื้องต้น (ยกเว้น P = NP ให้ดู Frick และ Grohe, ดอย: 10.1016 / j.apal.2004.01.007 ) ฉันสงสัยว่ามีใครดูที่ปัญหาที่สามารถแก้ไขได้ซึ่งไม่รวมค่าคงที่ของพารามิเตอร์ที่นำไปสู่ค่าคงที่ "กาแล็กซี่" (เพื่อใช้ริชาร์ดลิปตันและเคนรีแกน) การพิจารณาอย่างดุเดือดข้อ จำกัด ดังกล่าวอาจมีการเชื่อมต่อที่มีประโยชน์กับทฤษฎีแบบ จำกัด เช่นการแยกส่วนของตรรกะลำดับที่สองแบบ monadic ที่ไม่นำไปสู่ค่าคงที่ที่ไม่ใช่ระดับประถมศึกษาที่อาจเกิดขึ้นจากการใช้ทฤษฎีบทของ Courcelle การสลับปริมาณที่ไม่ …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

มีปัญหาใดบ้างที่ NP-complete เมื่อใช้เรขาคณิต Euclidean แต่มีความชัดเจนและแก้ไขได้ในเวลา polynomial สำหรับเรขาคณิตที่ไม่ใช่ euclidean?

13 reference-request  cg.comp-geom 

Branch and bound เป็น heuristic ที่มีประสิทธิภาพสำหรับปัญหาการค้นหาและWikipedia แสดงจำนวนของปัญหาที่ยากลำบากที่มีการใช้ branch-and-bound อย่างไรก็ตามฉันไม่สามารถค้นหาข้อมูลอ้างอิงเพื่อแนะนำว่าเป็นมากกว่า "วิธีการหนึ่ง" ในการแก้ปัญหาเหล่านี้ โดยทั่วไปฉันได้ยินมาว่าฮิวริสติกที่ดีที่สุดสำหรับ SAT และการเขียนโปรแกรมจำนวนเต็มมาจากสาขาและขอบเขตดังนั้นคำถามของฉันคือ: ใครบางคนสามารถชี้ให้ฉันดูการอ้างอิงที่มีรายละเอียดเกี่ยวกับการใช้งานที่มีประสิทธิภาพของสาขาและถูกผูกมัดสำหรับปัญหา NP-hard

13 ds.algorithms  reference-request  optimization  heuristics 

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

13 ds.algorithms  reference-request  graph-algorithms  implementation 

บริบท. ฉันกำลังเขียนหัวข้อต่าง ๆ เช่นทฤษฎีบท Gottesman-Knillโดยใช้ Pauli stabilizer group แต่ในกรณีของd -dimensional qudits - ที่dอาจมีปัจจัยสำคัญมากกว่าหนึ่งอย่าง (ผมเน้นเรื่องนี้เพราะส่วนใหญ่ของวรรณกรรมโคลงพิธีใน "มิติที่สูงขึ้น" เกี่ยวข้องกับกรณีของdสำคัญหรือวันที่เป็นพลังที่สำคัญและทำให้การใช้ฟิลด์ จำกัด ; ฉันกำลังพิจารณาแทนกลุ่มวงจรℤ d .) สำหรับมิติใด ๆ ผมอธิบายลักษณะ (Pauli) กลุ่มโคลงเป็นกลุ่มย่อยศาสนาคริสต์ของกลุ่ม Pauli ซึ่งผู้ประกอบการทุกคนมี 1 eigenspace ฉันกำลังเขียนเกี่ยวกับผลลัพธ์ที่เป็นที่รู้จักกันดีสำหรับd = 2 (และวางนัยทั่วไปสำหรับd prime): กลุ่มโคลงสร้างเสถียรภาพสถานะบริสุทธิ์ที่ไม่ซ้ำกันหากและถ้ามันมีค่าสูงสุด ฉันหมายถึงส่วนขยายใด ๆ ที่อยู่นอกกลุ่ม Pauli หรือไม่ใช่ผู้ที่นับถือศาสนาคริสต์หรือมีผู้ประกอบการที่ไม่มี +1 ค่าลักษณะเฉพาะ พิสูจน์ผลดังกล่าวสำหรับdที่สำคัญมักจะพึ่งพาความจริงที่ว่าℤ d 2nเป็นปริภูมิเวกเตอร์ ( เช่น ที่ℤ dเป็นเขตก): …

13 reference-request  quantum-computing 

ใน " คำแนะนำแก่นักศึกษาระดับเริ่มต้น " ของ Manuel Blum : LEONID LEVIN เชื่อในขณะที่ฉันทำอย่างนั้นคำตอบของ P = NP คืออะไร? ปัญหามันจะไม่เหมือนสิ่งที่คุณคิดว่ามันควรจะเป็น และเขาได้ยกตัวอย่างที่ยอดเยี่ยม สำหรับหนึ่งเขาได้ให้อัลกอริธึมจากปัจจัยที่เหมาะสมที่สุดและมีค่าคงที่แบบทวีคูณ เขาพิสูจน์ว่าหากอัลกอริธึมของเขาเป็นเลขยกกำลังดังนั้นทุกอัลกอริธึมสำหรับ FACTORING นั้นเป็นเลขชี้กำลัง ถ้าอัลกอริธึมสำหรับแฟคตอริ่งคือโพลี - ไทม์อัลกอริธึมของเขาคือโพลี - เวลา แต่เราไม่สามารถบอกเวลาในการทำงานของอัลกอริทึมของเขาได้เพราะในแง่ดีมันถึงเวลาแล้วที่ไม่สามารถวิเคราะห์ได้ หน้าสิ่งพิมพ์ของ Levin ส่งคืน 404 DBLP ไม่แสดงสิ่งใดที่เกี่ยวข้องกับการขายแฟ็กเตอริงและการค้นหา "leonid levin factoring" ใน Google Scholar ไม่พบสิ่งที่ฉันสนใจ AFAIK ตะแกรงทั่วไปเป็นอัลกอริทึมที่เร็วที่สุดที่รู้จักสำหรับแฟ Manuel Blum กำลังพูดถึงอะไร ทุกคนสามารถเชื่อมโยงฉันกับกระดาษได้หรือไม่?

13 ds.algorithms  reference-request  factoring