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

คำขออ้างอิงถูกใช้เมื่อผู้แต่งต้องการทราบเกี่ยวกับงานที่เกี่ยวข้องกับคำถาม

7
การประยุกต์ทฤษฎีเกมในวิทยาการคอมพิวเตอร์?
ในฐานะนักเรียนวิทยาศาสตร์คอมพิวเตอร์ฉันได้รับการแนะนำให้รู้จักกับทฤษฎีเกม แต่ไม่เห็นรายละเอียดมากนักในวิชานี้ ฉันค้นหาใน Google และดูหนังสือบางเล่มเกี่ยวกับทฤษฎีเกมและพวกเขาให้การยืนยันการใช้งานในวิทยาการคอมพิวเตอร์ ฉันได้เริ่มศึกษาทฤษฎีเกมอย่างเป็นทางการจากมุมมองของนักเศรษฐศาสตร์ ตอนนี้ฉันต้องการรู้การประยุกต์ใช้ทฤษฎีเกมในวิทยาการคอมพิวเตอร์ อะไรคือความสำเร็จครั้งสำคัญของนักวิทยาศาสตร์คอมพิวเตอร์ในสาขาต่าง ๆ เช่นปัญญาประดิษฐ์และทฤษฎีความซับซ้อนซึ่งใช้องค์ประกอบของทฤษฎีเกม? มีวิธีใดที่จะเข้าใกล้ทฤษฎีเกมที่มีรากฐานทางวิทยาศาสตร์คอมพิวเตอร์มากกว่าเศรษฐศาสตร์หรือไม่?
7
การวิเคราะห์ทางคณิตศาสตร์และความซับซ้อนในการคำนวณ?
ความซับซ้อนในการคำนวณเกี่ยวข้องกับ Combinatorics จำนวนมากและทฤษฎีจำนวน, ความไม่ลงรอยกันบางอย่างจาก Stochastics และพีชคณิตที่ปรากฏใหม่ อย่างไรก็ตามในฐานะนักวิเคราะห์ฉันสงสัยว่ามีการประยุกต์ใช้การวิเคราะห์ในสาขานี้หรืออาจเป็นแนวคิดที่ได้รับแรงบันดาลใจจากการวิเคราะห์ ทั้งหมดที่ฉันรู้ซึ่งสอดคล้องกับสิ่งนี้เล็กน้อยคือการแปลงฟูริเยร์ในกลุ่มไฟไนต์ คุณสามารถช่วยฉันได้ไหม?
2
รายการความแตกต่างในการตั้งโปรแกรมการทำงาน
คำถามมีอะไรใหม่ในโครงสร้างข้อมูลที่ใช้งานได้จริงตั้งแต่ Okasaki? (และเมื่อเทียบกับการเขียนโปรแกรมเชิงตรรกะ) ซึ่งเป็นสิ่งที่ฉันสนใจเมื่อเร็ว ๆ นี้สิ่งนี้ทำให้ฉันค้นหาการใช้งานรายการความแตกต่างสำหรับ Haskell ฉันมีสองคำถาม (ยกโทษ / แก้ไขให้ฉันถ้าฉันควรทำให้พวกเขาสองคำถามที่แตกต่างกันใน StackExchange) คำถามง่ายๆคือทุกคนตระหนักถึงการพิจารณาทางวิชาการของรายการที่แตกต่างในการเขียนโปรแกรมการทำงานและ / หรือการใช้งานนอกเหนือจากหนึ่งในห้องสมุด Haskell? คำตอบของ jbapple ไม่ได้อ้างถึงรายการที่แตกต่าง (รายการความแตกต่างในการเขียนโปรแกรมเชิงตรรกะมีอยู่ในตำนานและในแหล่งข้อมูลสองแห่งที่ฉันมีอยู่แถว ๆ นี้ (TM) ก่อนที่จะค้นพบการใช้งาน Haskell ฉันไม่ทราบว่าแนวคิดนั้นเพิ่มขึ้นจากตรรกะไปจนถึงการเขียนโปรแกรมเชิงหน้าที่ จริงอยู่ที่รายการความแตกต่างของ Haskell นั้นเป็นฟังก์ชั่นการใช้งานตามลำดับขั้นสูงและทำงานแตกต่างจากฟังก์ชั่นการเขียนโปรแกรมแบบลอจิก แต่อินเทอร์เฟซคล้ายกันอย่างแน่นอน สิ่งที่น่าสนใจ (และไกลออกไป) ที่น่าสนใจยิ่งกว่าที่ฉันต้องการถามคือว่าขอบเขตบนแบบ asymptotic ที่อ้างสิทธิ์สำหรับไลบรารีรายการผลต่าง Haskell ดังกล่าวนั้นถูกต้องหรือน่าเชื่อถือ ความสับสนของฉันอาจจะเป็นเพราะฉันหายไปบางสิ่งบางอย่างเกี่ยวกับการที่ชัดเจนเกี่ยวกับเหตุผลที่ซับซ้อนด้วยความเกียจคร้าน แต่ขอบเขตอ้างว่าเพียง แต่จะทำให้รู้สึกถึงฉันถ้าเปลี่ยนตัวมากกว่าโครงสร้างข้อมูลขนาดใหญ่ (หรือการปิดหรือค้นหาตัวแปรหรือบางสิ่งบางอย่าง ) มักจะต้องใช้เวลาอย่างต่อเนื่อง หรือ "จับ" เพียงแค่ว่าไม่มีเวลา จำกัด สำหรับ "หัว" และ …
2
คู่ของจุดสุดยอดไม่ปะติดปะต่อรอบในกราฟกำกับ
อัลกอริธึมที่กำหนดเร็วที่สุดที่รู้จักกันดีที่สุดคืออะไรซึ่งสามารถจำแนกกราฟที่กำกับด้วยวงจรจุดยอดที่แยกคู่กัน ฉันรู้กราฟที่มีค่าน้อยกว่าสามจะมีคู่ ( Thomassen'83 ) เสมอ แต่ถึงกระนั้นฉันก็ไม่สามารถหาอัลกอริธึมที่มีประสิทธิภาพได้ในกรณีทั่วไป ไม่มีใครทราบการอ้างอิงสำหรับสิ่งนี้?
1
“ ระดับความยากในการคำนวณฟังก์ชั่นของ Rabin และการสั่งซื้อชุดวนซ้ำบางส่วน”
ฉันกำลังมองหา: Michael O. Rabin, "ระดับความยากของการคำนวณฟังก์ชั่นและการเรียงลำดับชุดแบบเรียกซ้ำ", Hebrew University, Jerusalem, 1960 สรุป: “ เราพยายามวัดปริมาณของงานที่มีอยู่ในงานคำนวณฟังก์ชั่นคำนวณ (เรียกซ้ำ) แนวคิดของระดับความยากของการคำนวณถูกนำมาใช้และศึกษา แนวคิดนี้ไม่เปลี่ยนแปลงในแง่ที่ว่ามันเป็นอิสระจากคอมพิวเตอร์ในอุดมคติ (Turing Machines) ที่ใช้สำหรับการคำนวณฟังก์ชันที่เป็นปัญหา แอพพลิเคชั่นถูกจัดทำขึ้นเพื่อจำแนกปัญหาการตัดสินใจที่แก้ไขได้ (ชุดเรียกซ้ำ) ตามความยากลำบากของญาติ” ฉันหาสำเนาออนไลน์หรือที่ห้องสมุดของเราไม่พบ
2
หมวดหมู่ทฤษฎีและตัวแยกวิเคราะห์ - ต้องการการอ้างอิง
เนื่องจากฉันสนใจนักแยกวิเคราะห์ การอ้างอิงใด ๆ เกี่ยวกับการประยุกต์ใช้ทฤษฎีหมวดหมู่กับการวิเคราะห์คำจะชื่นชมอย่างมาก ที่ดีที่สุด
1
ปัญหาการตั้งค่า "งู"
ขณะที่เขียนบทความเล็ก ๆ เกี่ยวกับความซับซ้อนของวิดีโอเกมNibblerและSnake ; ฉันพบว่าทั้งคู่สามารถสร้างแบบจำลองเป็นปัญหาการกำหนดค่าใหม่บนกราฟระนาบ และดูเหมือนว่าไม่น่าเป็นไปได้ว่าปัญหาดังกล่าวยังไม่ได้รับการศึกษาอย่างดีในพื้นที่วางแผนการเคลื่อนที่ (ลองนึกภาพตัวอย่างเช่นโซ่ของรถม้าหรือหุ่นยนต์ที่เชื่อมโยงกัน) เกมดังกล่าวเป็นที่รู้จักกันดีอย่างไรก็ตามนี่เป็นคำอธิบายสั้น ๆ ของรูปแบบการกำหนดค่าใหม่ที่เกี่ยวข้อง: ปัญหางู การป้อนข้อมูล : รับภาพถ่ายกราฟ , Lกรวดหน้า1 , . . , พีลิตรจะถูกวางไว้บนโหนดU 1 , . . , ยูลิตรที่เป็นเส้นทางที่ง่าย ก้อนกรวดเป็นตัวแทนของงูและคนแรกที่p 1คือหัวของเขา หัวสามารถเคลื่อนย้ายจากตำแหน่งปัจจุบันไปยังโหนดอิสระที่อยู่ติดกันและร่างกายตามมา บางโหนดมีการทำเครื่องหมายด้วยจุด; เมื่อหัวถึงโหนดที่มีจุดร่างกายจะเพิ่มขึ้นตามG = ( V, E)G=(V,E)G = (V,E)ล.llพี1, . . . , pล.p1,...,plp_1,...,p_lยู1, . . . , Uล.u1,...,ulu_1,...,u_lพี1p1p_1ก้อนกรวดในต่อไปนี้อีย้ายของหัว จุดบนโหนดนั้นจะถูกลบหลังจากการเคลื่อนที่ของงูeeeeee ปัญหา …
1
ปัญหาที่ขยายได้ยาก
ในปัญหาความสามารถในการขยายได้เราจะได้รับส่วนหนึ่งของการแก้ปัญหาและเราต้องการตัดสินใจว่าเราสามารถขยายไปสู่การแก้ปัญหาที่สมบูรณ์หรือไม่ ปัญหาความสามารถในการยืดขยายบางอย่างสามารถแก้ไขได้อย่างมีประสิทธิภาพในขณะที่ปัญหาความสามารถในการยืดขยายอื่น ๆ จะเปลี่ยนปัญหาไปสู่ปัญหาที่ยาก ยกตัวอย่างเช่นทฤษฎีบท Konig-Hall ระบุว่ากราฟลูกบาศก์สองฝ่ายทั้งหมดเป็นแบบ 3 ขอบสี แต่รุ่นที่ขยายได้กลายเป็นสมบูรณ์ยังไม่มีข้อความPNPNPถ้าเราให้สีของขอบบางส่วน ฉันกำลังมองหารายงานการสำรวจของปัญหาที่ขยายได้ยากซึ่งปัญหาพื้นฐานนั้นง่าย (หรือไม่สำคัญอย่างในตัวอย่างด้านบน)
2
ลาสเวกัสกับมอนติคาร์โลสุ่มความซับซ้อนของต้นไม้ตัดสินใจ
พื้นหลัง: ต้นไม้ความซับซ้อนของการตัดสินใจหรือความซับซ้อนของแบบสอบถามเป็นรูปแบบที่เรียบง่ายของการคำนวณที่กำหนดไว้ดังนี้ ให้เป็นฟังก์ชันบูลีน ความซับซ้อนของการค้นหาแบบกำหนดขึ้นชื่อของfหมายถึงD ( f )คือจำนวนบิตขั้นต่ำของอินพุตx ∈ { 0 , 1 } nที่ต้องอ่าน (ในกรณีที่แย่กว่า) โดยอัลกอริธึมที่กำหนดf ( x) )ฉ: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}ฉffD ( f)D(f)D(f)x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^nฉ( x )f(x)f(x). โปรดทราบว่าการวัดความซับซ้อนคือจำนวนบิตของอินพุตที่อ่าน การคำนวณอื่น ๆ ทั้งหมดนั้นฟรี ในทำนองเดียวกันเรากำหนดลาสเวกัสุ่มซับซ้อนแบบสอบถามชี้แนะR 0 ( ฉ)เป็นจำนวนขั้นต่ำของบิตการป้อนข้อมูลที่จำเป็นเพื่อให้สามารถอ่านในความคาดหวังโดยศูนย์ข้อผิดพลาดแบบสุ่มอัลกอริทึมที่คำนวณF ( x …
1
แยกความแตกต่างระหว่างสองเหรียญ
เป็นที่ทราบกันดีว่าความซับซ้อนของความแตกต่างนั้นเหรียญลำเอียงจากธรรมหนึ่งθ ( ε - 2 ) มีผลในการแยกความแตกต่างของเหรียญpจากเหรียญp + ϵหรือไม่? ฉันจะเห็นว่าสำหรับกรณีพิเศษของP = 0ซับซ้อนจะε - 1 ฉันรู้ว่าความซับซ้อนจะขึ้นอยู่กับว่าpนั้นเป็นของϵแต่ไม่สามารถพิสูจน์ได้อย่างจริงจัง คำแนะนำ / การอ้างอิงใด ๆεϵ\epsilonθ ( ϵ- 2)θ(ϵ−2)\theta(\epsilon^{-2})พีppp + ϵp+ϵp+\epsilonp = 0p=0p=0ε- 1ϵ−1\epsilon^{-1}พีppεϵ\epsilon
1
อีกส่วนหนึ่งของ PARTITION
ฉันได้ลดปัญหาพาร์ติชั่นต่อไปนี้เป็นปัญหาการตั้งเวลาบางอย่าง: อินพุต:รายการของจำนวนเต็มบวกในลำดับที่ไม่ลดลงa1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n คำถาม:จะมีอยู่เวกเตอร์ดังกล่าวว่า(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} หากไม่มีเงื่อนไขที่สองมันเป็นเพียงส่วนหนึ่งดังนั้น NP-hard แต่เงื่อนไขที่สองดูเหมือนว่าจะให้ข้อมูลเพิ่มเติมจำนวนมาก ฉันสงสัยว่ามีวิธีที่มีประสิทธิภาพในการตัดสินใจเลือกตัวแปรนี้หรือไม่ หรือมันยังคงยากอยู่ใช่ไหม
1
การทดสอบสัณฐานของกราฟไม่สมมาตร
ในขณะที่อ่านคำถามตัวอย่างที่ความเป็นเอกลักษณ์ของการแก้ปัญหาทำให้ง่ายต่อการค้นหาคำถามใหม่ (ง่ายกว่า) มาถึงใจของฉัน: จริง ๆ แล้วเราไม่ทราบว่าปัญหา Graph Isomorphism ( ) เป็นPหรือไม่ชฉันGIGIPPP แต่จะเกิดอะไรขึ้นถ้าเราคิดว่าทั้งและG 2นั้นไม่สมมาตร ปัญหากลายเป็นเรื่องง่ายขึ้นหรือไม่ (เวลาพหุนาม) G1G1G_1G2G2G_2 หมายเหตุ: ปัญหาไม่สามารถยากกว่า Graph Automorphism ( ) เนื่องจากมีการลดลงอย่างรวดเร็ว: เพียงใช้G AกับG 1 ∪ G 2ถ้าคำตอบคือใช่แล้วกราฟทั้งสองนั้น isomorphic (ดู Johannes Köbler, Uwe Schöning, Jacobo Torán: Isomorphism กราฟต่ำสำหรับ PP 401-411)GGAGAGGAGAG1∪ กรัม2G1∪G2G_1 \cup G_2
1
ระยะทางระหว่างภาษาปกติ
ฉันต้องการที่จะกำหนดความคิดของ "ความใกล้ชิด" ระหว่างสองภาษาปกติของคำ จำกัด ใน(และ/ หรือคำที่ไม่มีที่สิ้นสุดในΣ โอห์ม ) แนวคิดพื้นฐานคือเราต้องการให้สองภาษาใกล้เคียงกันหากพวกเขาไม่ได้มีหลายคำที่ต่างกัน เรายังสามารถใช้ระยะทางแก้ไขในบางวิธี ... ฉันไม่พบข้อมูลอ้างอิงที่ดีเกี่ยวกับปัญหานี้Σ∗Σ∗\Sigma^*ΣωΣω\Sigma^\omega ฉันไม่เรียกมันว่าระยะทางเพราะฉันไม่ต้องการความจริงทั้งหมดของระยะทาง (แม้ว่ามันจะไม่เลวเลย) d(L,K)=lim supn→∞|LnΔKn||Ln∪Kn|d(L,K)=lim supn→∞|LnΔKn||Ln∪Kn|d(L,K)= \limsup_{n\to\infty} \frac{|L_n\Delta K_n|}{|L_n\cup K_n|}LnLnL_nKnKnK_nLLLKKKΣnΣn\Sigma^nΔΔ\Delta มีการศึกษา "ระยะทาง" นี้หรือไม่ มีการอ้างอิงในเรื่อง (อาจมีทางเลือกอื่นสำหรับฟังก์ชั่นระยะทาง)? ขอบคุณสำหรับความช่วยเหลือหรือตัวชี้ใด ๆ ขอบคุณ
2
แก้ไขระยะทางด้วยการเคลื่อนย้าย
แรงจูงใจ:ผู้เขียนร่วมแก้ไขต้นฉบับและฉันต้องการดูบทสรุปที่ชัดเจนของการแก้ไข เครื่องมือที่เหมือนกัน "diff" ทั้งหมดมีแนวโน้มที่จะไร้ประโยชน์ถ้าคุณทั้งคู่ย้ายข้อความไปมา (เช่นการจัดโครงสร้างใหม่) และทำการแก้ไขในท้องถิ่น มันยากจริง ๆ ที่จะทำให้ถูกต้อง? คำจำกัดความ:ฉันต้องการค้นหาระยะทางแก้ไขขั้นต่ำซึ่งการดำเนินการที่อนุญาตคือ: การดำเนินการ "ถูก": เพิ่ม / เปลี่ยน / ลบอักขระเดียว (การดำเนินการ Levenshtein ปกติ), "แพง": การดำเนินการ: ย้ายซับสตริงไปยังตำแหน่งใหม่ ( abcd↦acbdabcd↦acbdabcd \mapsto acbdสำหรับสตริงใด ๆaaa , bbb , ccc , ddd ) รับสองสายxxxและyyyและจำนวนเต็มkkkและKKKฉันต้องการที่จะแก้ปัญหาต่อไปนี้: คุณสามารถแปลงxxxเป็นyyyโดยใช้การดำเนินการkkkราคาถูกที่สุดและการดำเนินการที่แพงที่สุดKKKไหม คำถาม: ปัญหานี้มีชื่อหรือไม่? (ดูเหมือนคำถามที่เป็นมาตรฐานมากในบริบทของการจัดเรียงลำดับ) มันยากไหม ถ้าเป็นเรื่องยากมันเป็นพารามิเตอร์คงที่เวไนยกับเป็นพารามิเตอร์?KKK มีขั้นตอนวิธีการประมาณที่มีประสิทธิภาพหรือไม่? (เช่นค้นหาวิธีแก้ปัญหาที่มีการดำเนินการราคาถูกมากที่สุดและ2 Kราคาแพงหากมีวิธีแก้ปัญหาที่มีการดำเนินงานk cheap และKแพง)2k2k2k2K2K2KkkkKKK ฉันพยายามดูสตริงตัวชี้วัดที่แสดงรายการใน Wikipediaแต่ไม่มีสิ่งใดที่ถูกต้อง
2
ไม่ดำรงอยู่ของทั้งหมด
มันง่ายที่จะเห็นว่าถ้าแล้วมีทั้งหมดN Pค้นหาปัญหาที่ไม่สามารถแก้ไขได้ในเวลาพหุนาม (สร้างการค้นหาปัญหาทั้งหมดโดยมีทั้งพยานสำหรับการเป็นสมาชิกและพยานสำหรับ nonmembership)N P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N PNP\mathsf{NP} การสนทนานั้นเป็นจริงเช่นกัน ไม่ดำรงอยู่ของทั้งหมดค้นหาปัญหาไม่ได้แก้ปัญหาได้ในเวลาพหุนามบ่งบอกถึงN P ∩ C o N P ≠ P ?N PNP\mathsf{NP}N P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.