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

ถาม - ตอบสำหรับนักเรียนนักวิจัยและผู้ปฏิบัติงานด้านวิทยาการคอมพิวเตอร์

3
ปัญหาที่ undecidable และการปฏิเสธนั้นไม่สามารถตัดสินใจได้
ปัญหาที่ไม่สามารถระบุได้ "ที่มีชื่อเสียง" จำนวนมากนั้นอย่างไรก็ตาม semidecidable เป็นอย่างน้อย ตัวอย่างข้างต้นทั้งหมดอาจเป็นปัญหาการหยุดชะงักและส่วนประกอบที่สมบูรณ์ อย่างไรก็ตามทุกคนสามารถให้ฉันตัวอย่างที่ทั้งปัญหาและส่วนเติมเต็มของมันจะไม่สามารถตัดสินใจได้และไม่ semidecidable? ฉันคิดเกี่ยวกับภาษา diagonalization Ld แต่ดูเหมือนว่าฉันจะไม่สามารถอธิบายได้ ในกรณีนี้หมายความว่า Turing Machine M สามารถ "สูญเสีย" สตริงบางตัวที่ควรจดจำแทนเนื่องจากเป็นส่วนหนึ่งของภาษาที่เราพยายามจะเยื้อง

1
การพิจารณาว่ามีช่วงเวลาสำคัญที่รู้ว่าอยู่ในช่วง P หรือสมบูรณ์หรือไม่?
ฉันเห็นจากโพสต์นี้ใน stackoverflow ว่ามีอัลกอริธึมที่ค่อนข้างเร็วสำหรับการร่อนช่วงของตัวเลขเพื่อดูว่ามีนายกในช่วงเวลานั้นหรือไม่ อย่างไรก็ตามนี่หมายความว่าปัญหาการตัดสินใจโดยรวมของ: (มีนายกในช่วงเวลาหรือไม่) อยู่ใน P. (มีคำตอบมากมายสำหรับโพสต์นั้นที่ฉันไม่ได้อ่านดังนั้นฉันต้องขออภัยถ้าคำถามนี้เป็น ซ้ำหรือไม่จำเป็น) ในอีกด้านหนึ่งถ้าช่วงเวลานั้นมีขนาดใหญ่พอ (เช่น ) ก็จะมีบางอย่างที่เหมือนกับ Bertrand's Postulate และมีช่วงเวลาที่สำคัญในช่วงนี้ แต่ผมยังไม่ทราบว่ามีช่องว่างขนาดใหญ่ระหว่างสองพลเฉพาะ (เช่น[ N ! , N ! + N ] [ N, 2 N][N,2N][N,2N][ N! , N! + N][N!,N!+N][N!,N!+ N] แม้ว่าปัญหาการตัดสินใจอยู่ใน PI จะไม่เห็นว่าปัญหาการค้นหาที่เกี่ยวข้องนั้นยังสามารถใช้งานได้เนื่องจากเราอาจไม่สามารถวาดคุณสมบัติเดียวกันเกี่ยวกับการกระจายของช่วงเวลาที่รู้จักเมื่อทำการค้นหาแบบไบนารี

3
ความซับซ้อน - ทฤษฎียากที่จะตรวจสอบค่าของ ?
ฟังก์ชันนับจำนวนเฉพาะ , ลดระดับถูกกำหนดให้เป็นจำนวนตัวเลขที่สำคัญน้อยกว่าหรือเท่ากับxπ(x)π(x)\pi(x)xxx เราสามารถกำหนดปัญหาการตัดสินใจจากπ(x)π(x)\pi(x)ดังนี้: ได้รับตัวเลขสองxxxและnnnเขียนในไบนารีตัดสินใจว่าπ(x)=nπ(x)=n\pi(x) = nn วันนี้เพื่อนกับฉันกำลังพูดถึงปัญหานี้ มีอัลกอริทึม pseudopolynomial-time สำหรับปัญหานี้ - นับได้สูงสุดxxxโดยใช้การแบ่งการทดลองในแต่ละขั้นตอนเพื่อดูว่าตัวเลขมีจำนวนมากแค่ไหนและตรวจสอบว่าเท่ากับnnnหรือไม่ ปัญหายังอยู่ใน PSPACE เนื่องจากอัลกอริทึมที่ฉันเพิ่งอธิบายสามารถนำไปใช้เพื่อใช้พื้นที่เสริมพหุนามเท่านั้น อย่างไรก็ตามฉันมีปัญหาในการหาวิธีที่จะวางปัญหานี้ในระดับความซับซ้อนที่ต่ำกว่า ฉันไม่เห็นวิธีการสร้างตัวตรวจสอบพหุนามเวลาสำหรับปัญหาดังนั้นฉันไม่แน่ใจว่ามันอยู่ใน NP หรือไม่และฉันไม่สามารถคิดวิธีที่จะนำมันเข้าสู่ลำดับชั้นพหุนามได้เลย คลาสความซับซ้อนที่เหมาะสมที่สุดสำหรับปัญหานี้คืออะไร ขอบคุณ!

3
ตัดสินใจได้ดีหรือไม่?
ฉันสงสัยว่าการตัดสินใจเลือกปัญหาเป็นปัญหาที่ตัดสินใจได้หรือไม่ ฉันคาดเดาไม่ได้ แต่หลังจากการค้นหาครั้งแรกฉันไม่สามารถหาวรรณกรรมเกี่ยวกับปัญหานี้ได้

9
ทำไมทัวริงถึงรู้จักภาษาเดียว?
ฉันพยายามที่จะเข้าใจการมีอยู่ของภาษาที่ไม่รู้จัก เพื่อให้ได้สิ่งนี้ฉันต้องรู้ว่าทำไมเครื่องทัวริงจำได้เพียงภาษาเดียวไม่ใช่หลายภาษา ทำไมนี้

2
คำอธิบายแบบเลย์สำหรับการค้นหาแบบสากลคืออะไร
ฉันกำลังอ่านหนังสือในหัวข้อวิทยาศาสตร์คอมพิวเตอร์ แต่ขาดพื้นฐานที่จำเป็นบางประการ โดยปกติเมื่อฉันพบเจอคำศัพท์ที่ฉันไม่เข้าใจฉันแค่ค้นหามัน แต่สำหรับUniversal Searchฉันก็ไม่สามารถหาคำอธิบายที่เหมาะสมสำหรับผู้อ่านที่ไม่มีพื้นฐานด้านสถิติ / วิทยาศาสตร์คอมพิวเตอร์ ฉันได้อ่านบทความนี้เกี่ยวกับการค้นหาทั่วไปจาก Scholarpediaซึ่งดูเหมือนจะครอบคลุมหัวข้อ ฉันขอขอบคุณคำอธิบายความหมายของการค้นหาทั่วไป (หรือการค้นหาเลวิน )

1
คำตอบที่ดีที่สุดของการประกวด TSP ของ Procter and Gamble คืออะไร?
ในปีพ. ศ. 2505 คุณสามารถชนะรางวัล10,000 ดอลลาร์ (ประมาณ80,000 ดอลลาร์สำหรับเงินวันนี้) หากคุณพบวิธีแก้ปัญหาปัญหาพนักงานขายการท่องเที่ยวยุคลิดที่กำหนดไว้ใน 33 เมือง http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html ดูภาพปัญหาดูเหมือนง่ายมาก อย่างไรก็ตามฉันล้มเหลวในการค้นหาทรัพยากรโดยละเอียดเกี่ยวกับปัญหา มีใครรู้รายละเอียดเพิ่มเติมบ้างเช่นระยะทางที่แน่นอนและทางออกที่ดีที่สุดหรือไม่?

2
อัลกอริทึมที่มีประสิทธิภาพในการสร้างการกระจายสองแบบเรียงสับเปลี่ยนของชุดมัลติเซ็ตที่สุ่ม
พื้นหลัง \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\grสมมติว่าฉันมีสองสำหรับกระบวนการที่เหมือนกันของnnnหินอ่อน แต่ละหินอ่อนสามารถเป็นหนึ่งในcccสีที่c≤nc≤nc≤nc≤nให้ninin_iแทนจำนวนหินอ่อนสีiiiในแต่ละชุด ให้SS\msSเป็นมัลติเซ็ต{1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\}แทนหนึ่งชุด ในการเป็นตัวแทนความถี่ , SS\msSนอกจากนี้ยังสามารถเขียนเป็น(1n12n2…cnc)(1n12n2…cnc)(\po^{n_1} \;\pt^{n_2}\; … \;\pc^{n_c}){n_c}) จำนวนการเรียงสับเปลี่ยนที่แตกต่างกันของSS\msSนั้นมอบโดยMultinomial : |SS|=(nn1,n2,…,nc)=n!n1!n2!⋯nc!=n!∏i=1c1ni!.|SS|=(nn1,n2,…,nc)=n!n1!n2!⋯nc!=n!∏i=1c1ni!.\left|\mfS_{\msS}\right|=\binom{n}{n_1,n_2,\dots,n_c}=\frac{n!}{n_1!\,n_2!\cdots n_c!}=n! \prod_{i=1}^c \frac1{n_i!}. คำถาม มีอัลกอริทึมที่มีประสิทธิภาพในการสร้างการกระจายสองแบบเรียงสับเปลี่ยนPPPและQQQของSS\msSที่สุ่มหรือไม่ (การกระจายควรเป็นแบบเดียวกัน) เปลี่ยนแปลงPPPคือกระจายถ้าองค์ประกอบที่แตกต่างกันทุกiiiของPPPกรณีของiiiมีระยะห่างออกไปประมาณเท่า ๆ กันในPPPP ตัวอย่างเช่นสมมติว่าS=(1424)={1,1,1,1,2,2,2,2}S=(1424)={1,1,1,1,2,2,2,2}\msS=(\po^4\;\pt^4)=\{\po,\po,\po,\po,\pt,\pt,\pt,\pt\}\} {1,1,1,2,2,2,2,1}{1,1,1,2,2,2,2,1}\{\po, \po, \po, \pt, \pt, \pt, \pt, \po\}ไม่กระจาย {1,2,1,2,1,2,1,2}{1,2,1,2,1,2,1,2}\{\po, \pt, \po, \pt, \po, \pt, \po, \pt\}กระจาย อย่างจริงจังมากขึ้น: หากมีเพียงหนึ่งตัวอย่างของไป“พื้นที่ออก” ในเพื่อให้ 0ni=1ni=1n_i=1iiiPPPΔ(i)=0Δ(i)=0\Delta(i)=0 มิฉะนั้นให้เป็นระยะห่างระหว่างอินสแตนซ์ และอินสแตนซ์ …

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

2
การวิเคราะห์เวลาอัลกอริทึม“ ขนาดอินพุต” กับ“ องค์ประกอบอินพุต”
ฉันยังสับสนอยู่บ้างกับคำว่า "ความยาวขาเข้า" และ "ขนาดอินพุต" เมื่อใช้ในการวิเคราะห์และอธิบายขอบเขตบนที่ไม่มีอาการสำหรับอัลกอริทึม ดูเหมือนว่าความยาวของอัลกอริทึมนั้นขึ้นอยู่กับชนิดของข้อมูลจำนวนมากและอัลกอริทึมที่คุณกำลังพูดถึง ผู้เขียนบางคนอ้างถึงความยาวอินพุตกับขนาดของอักขระที่ต้องใช้เพื่อแสดงอินพุตดังนั้น "abcde" หากใช้เป็นชุดอินพุตในอัลกอริทึมจะมี "ความยาวอินพุต" 6 ตัว หากแทนที่จะเป็นตัวอักษรเรามีจำนวน (เช่นจำนวนเต็ม) บางครั้งการแทนแบบไบนารี่จะใช้แทนตัวอักษรดังนั้น "ความยาวอินพุต" จะถูกคำนวณเป็น (เป็น L เป็นจำนวนสูงสุดในชุดอินพุต)ยังไม่มีข้อความ∗ l o g( L )N∗log(L)N*log(L) มีปัญหาอื่น ๆ ที่แม้ว่าชุดอินพุตเป็นตัวเลข แต่พวกเขาอธิบาย "ความยาวอินพุต" เป็น "ตัวแปรการตัดสินใจ" ดังนั้นสำหรับชุดอินพุตความยาว N ที่มีตัวเลขในช่วงความยาวอินพุตนั้นคือ เพียงแค่ N (ผลรวมย่อยเช่น) หรือยิ่งซับซ้อนจำนวนของค่าสถานที่ไบนารีที่ใช้ในการระบุปัญหา (สิ่งที่ฉันเชื่อว่าเป็นเพียงเช่นเดียวกับ ) N ∗ l o g ( L )0 - …

2
ปริศนาอักษรไขว้ Regex NP-hard หรือไม่
ฉันหลอกไปเมื่อวันก่อนในเว็บไซต์นี้: http://regexcrossword.com/และทำให้ฉันสงสัยว่าวิธีที่ดีที่สุดในการแก้ไขคืออะไร คุณสามารถแก้ปัญหาดังต่อไปนี้ในเวลาพหุนามหรือว่าเป็น NP- ยาก? ให้กริด NxM ที่มีนิพจน์ปกติ N สำหรับคอลัมน์และ M สำหรับแถวหาวิธีแก้ปัญหาใด ๆ ที่กริดเช่นว่านิพจน์ปกติทั้งหมดพอใจหรือกล่าวว่าไม่มีวิธีแก้ปัญหา

1
หน่วยความจำบอลลูนในระบบปฏิบัติการ
ไฮเปอร์ไวเซอร์บางตัวเพิ่มประสิทธิภาพการใช้หน่วยความจำโดยใช้วิธีการที่เรียกว่า ballooning (อย่างน้อยนั่นคือสิ่งที่ KVM เรียก) วิธีนี้จะลดความซ้ำซ้อนของหน่วยความจำระหว่าง VM และตั้งค่าหน้าเว็บทั่วไปให้อ่านได้อย่างเดียว นี่เป็นสิ่งที่ตรงกันข้ามกับการเรียกแยก เป็นไปได้หรือไม่ที่จะนำไปใช้งานในระดับ OS สำหรับกระบวนการ (ส่วนใหญ่ฉันคิดถึงการทำสำเนาหน่วยความจำเมื่อเรียกดูด้วย Chromium ที่มีหลายแท็บบนไซต์เดียวกัน) มีการนำไปใช้แล้วหรือไม่

3
หน่วยประมวลผลหารหัสเคอร์เนลหลังจากถูกขัดจังหวะได้อย่างไร
เมื่อการขัดจังหวะเกิดขึ้นโปรเซสเซอร์จะดำเนินการกระบวนการปัจจุบันและเรียกใช้รหัสเคอร์เนลเพื่อจัดการการขัดจังหวะ โปรเซสเซอร์รู้ได้อย่างไรว่าจะเข้าไปยังเคอร์เนลอย่างไร ฉันเข้าใจว่ามีตัวจัดการขัดจังหวะซึ่งสามารถติดตั้งสำหรับแต่ละบรรทัดขัดจังหวะ แต่เนื่องจากโปรเซสเซอร์ประมวลผล 'hardwired logic' เท่านั้นจึงต้องมีสถานที่ที่กำหนดไว้ล่วงหน้าซึ่งชี้ไปที่ interrupt handler เองหรือบางรหัสที่ประมวลผลก่อน handler (เนื่องจากอาจมีตัวจัดการหลายตัวสำหรับ interrupt line หนึ่งผมถือว่า หลัง)

1
เหตุใดอัลกอริธึมการคูณเชิงเส้นเชิงเวลาของ Knuth จึงไม่“ นับ”
หน้าวิกิพีเดียในขั้นตอนวิธีการคูณกล่าวหนึ่งที่น่าสนใจโดยโดนัลด์ Knuth โดยพื้นฐานแล้วมันเกี่ยวข้องกับการรวมการคูณการแปลงฟูริเยร์กับตารางที่คำนวณล่วงหน้าของการคูณขนาดลอการิทึม มันทำงานในเวลาเชิงเส้น บทความทำหน้าที่เหมือนอัลกอริทึมนี้ แต่อย่างใดไม่นับเป็นอัลกอริทึมการคูณ "จริง" ที่สำคัญกว่านั้นก็ถือว่าเป็นคำถามเปิดว่าการคูณสามารถทำได้ในO(n lg n)เวลา! รายละเอียดของอัลกอริทึมนี้ตัดสิทธิ์จากการนับเป็นอัลกอริทึมการคูณ "จริง" หรือไม่ การเดาของฉันคือ: การคำนวณล่วงหน้าของตารางใช้เวลามากกว่าเชิงเส้น ในทางกลับกันก็สามารถทำได้ในn lg nเวลาเพื่อที่จะยังคงน่าประทับใจ การเข้าถึงแบบสุ่มไม่ได้รับอนุญาต แต่ทำไมอัลกอริธึมอื่น ๆ สามารถใช้สิ่งต่าง ๆ เช่นตารางแฮชและพอยน์เตอร์ได้ มันจะปรับขนาดผิดเมื่อคุณเพิ่มขนาดคำของเครื่องเช่นถ้าคุณมีเครื่อง 256 บิตที่ทำหน้าที่ 256 บิตในการเรียนการสอนเพียงครั้งเดียวดังนั้นจึงไม่มีทางชี้ไปที่อัลกอริทึมนี้จนกว่าคุณจะมีองค์ประกอบมากกว่า 2 ^ 256 ในทางกลับกันเรากังวลกับปัจจัยผกผัน - ackermann ในการค้นหาสหภาพ "มีอัลกอริทึมการคูณเวลาเชิงเส้นหรือไม่" คำถามนั้นเป็นความลับในแง่ของเครื่องจักรที่อ่อนแอกว่า แต่มีเพียงนัยที่

1
การคำนวณจุดตัดของสอง NPDA ที่เป็นไปได้
Apropois ถึงข้อเสนอแนะของ Raphael เกี่ยวกับจุดตัดของ NPDA สองแห่ง : ให้และA 2 NPDA สำหรับภาษาที่ไม่มีบริบทL 1และL 2ตามลำดับ สมมติว่าเรารู้ว่าL = L 1 ∩ L 2ไม่มีบริบทเราสามารถสร้าง NPDA AสำหรับL ได้หรือไม่?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL อัลกอริทึมชนิดใดก็ได้จะยอมรับได้ แต่ยิ่งใช้งานได้ดีเท่าไร

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