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

ผมอยากรู้ว่าวิธีหนึ่งอาจมากดานบีบอัดโดเมนของพลIDNชื่อโฮสต์ (ตามที่กำหนดโดยRFC5890 ) และสงสัยว่านี้อาจจะกลายเป็นความท้าทายที่น่าสนใจ โฮสต์ Unicode หรือชื่อโดเมน (U-label) ประกอบด้วยสตริงของอักขระ Unicode โดยทั่วไปจะถูก จำกัด ให้เป็นหนึ่งภาษาขึ้นอยู่กับโดเมนระดับบนสุด (เช่นตัวอักษรกรีกภายใต้.gr) ซึ่งเข้ารหัสเป็นสตริง ASCII ที่ขึ้นต้นด้วยxn--(ที่สอดคล้องกัน A-ฉลาก) หนึ่งสามารถสร้างแบบจำลองข้อมูลไม่เพียง แต่จากข้อกำหนดอย่างเป็นทางการที่ แต่ละป้ายที่ไม่ใช่ Unicode จะจับคู่สตริง^[a-z\d]([a-z\d\-]{0,61}[a-z\d])?$; แต่ละ A-label เป็นการจับคู่สตริง^xn--[a-z\d]([a-z\d\-]{0,57}[a-z\d])?$; และ ความยาวรวมของโดเมนทั้งหมด (ป้ายกำกับ A และป้ายกำกับที่ไม่ใช่ IDN ตัดแบ่งด้วย '.' ตัวคั่น) ไม่เกิน 255 อักขระ แต่จากการวิเคราะห์พฤติกรรมต่าง ๆ รวมไปถึง: ลดการสั่งซื้อ U-ฉลากมักจะ lexically, ไวยากรณ์และความหมายวลีที่ถูกต้องในภาษาธรรมชาติบางอย่างรวมทั้งคำนามที่เหมาะสมและตัวเลข (unpunctuated ยกเว้นยัติภังค์ปลดออกจากช่องว่างและพับต่อNameprep ) มีการตั้งค่าสำหรับวลีสั้น; และ …

21 algorithms  strings  natural-language-processing  data-compression 

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

21 cryptography 

มีโครงสร้างข้อมูลใดบ้างที่รักษาชุดของชุด (ของชุดดิน จำกัด ) สนับสนุนการดำเนินการดังต่อไปนี้หรือไม่? เวลาในการทำงานช่วงล่างใด ๆ จะได้รับการชื่นชม? เริ่มต้นชุดที่ว่างเปล่า เพิ่มองค์ประกอบให้กับชุด ให้สองชุดรายงานว่าพวกเขาตัดกัน

21 data-structures  sets 

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

20 typing 

คำถามนี้ย้ายมาจาก Artificial Intelligence Stack Exchange เพราะสามารถตอบได้ใน Computer Science Stack Exchange อพยพ 5 ปีที่ผ่านมา ในการใช้งานส่วนใหญ่ของอัลกอริธึมทางพันธุกรรมการมุ่งเน้นไปที่ครอสโอเวอร์และการกลายพันธุ์ แต่อย่างใดส่วนใหญ่ของพวกเขาออกลักษณะของยีน (เด่น / ถอย) diploid เท่าที่ความเข้าใจ (จำกัด ) ของฉันไปตามธรรมชาติที่โดดเด่น / ถอยของยีนเป็นปัจจัยที่สำคัญมากในการตัดสินใจลักษณะที่แท้จริงของสิ่งมีชีวิต ดังนั้นคำถามของฉันคือทำไมธรรมชาติของยีนซ้ำซ้อนที่เหลือจากอัลกอริธึมทางพันธุกรรมในการนำไปใช้ส่วนใหญ่? เป็นเพราะ: มันไม่ได้ให้ประโยชน์มากนัก มันเพิ่มความซับซ้อนที่ไม่จำเป็นให้กับอัลกอริทึมแบบง่าย มันยากที่จะใช้ หรืออย่างอื่นอย่างสิ้นเชิง?

20 machine-learning  genetic-algorithms 

เพิ่งหมดความสนใจฉันพยายามที่จะแก้ปัญหาจากหมวด "ล่าสุด" ของ Project Euler ( ลำดับ Digit Sum ) แต่ฉันไม่สามารถคิดวิธีแก้ปัญหาได้อย่างมีประสิทธิภาพ ปัญหามีดังต่อไปนี้ (ในลำดับคำถามดั้งเดิมมีสองรายการที่เริ่มต้น แต่ไม่เปลี่ยนลำดับ): ลำดับ Digit Sum คือ 1,2,4,8,16,23,28,38,49 .... โดยที่ลำดับของลำดับคือผลรวมของตัวเลขที่อยู่ก่อนหน้าในลำดับ ค้นหาคำศัพท์ลำดับที่ลำดับnthnเสื้อชั่วโมงn^{th}1015th1015เสื้อชั่วโมง10^{15}th โซลูชันไร้เดียงสาไม่สามารถใช้งานได้เนื่องจากใช้เวลานาน ฉันพยายามลดปัญหาให้เป็นกรณีของการยกกำลังเมทริกซ์ (ซึ่งใช้เวลา )) แต่ไม่สามารถเกิดขึ้นได้กับการเกิดซ้ำที่เหมาะสมกับเกณฑ์เชิงเส้นเนื่องจากการเกิดซ้ำสำหรับลำดับนี้คือ ค่อนข้างแปลก จะเห็นได้ว่าลำดับถูกควบคุมโดยการเกิดซ้ำ:O(log(1015))O(ล.โอก.(1015))O(log ( 10^{15})) an=an−1+d(an−1).....(1)an=an−1+d(an−1).....(1) a_n = a_{n-1} + d( a_{n-1} ) ..... (1 ) โดยที่คือคำของลำดับและคือฟังก์ชันซึ่งเมื่อได้รับจำนวนธรรมชาติเป็นอินพุตจะส่งคืนผลรวมของตัวเลขของตัวเลข (เช่น. ) วิธีที่สองของฉันคือพยายามหารูปแบบบางอย่างในลำดับ จะเห็นได้ว่าคำสองสามคำแรกของลำดับสามารถเขียนเป็นn t h danana_nnthnthn^{th}dddd(786)=21d(786)=21\;d(786)=21 …

20 time-complexity  number-theory 

Radix จัดเรียงเป็นทฤษฎีอย่างรวดเร็วเมื่อคุณรู้ว่ากุญแจอยู่ในขอบเขต จำกัด บางอย่างบอกว่าค่าในช่วงตัวอย่างเช่น หากคุณเพิ่งแปลงค่าเป็นฐานซึ่งใช้เวลาเวลาให้ทำการจัดเรียงฐาน radix จากนั้นแปลงกลับเป็นฐานเดิมของคุณเพื่ออัลกอริทึมโดยรวมnnn[ 0 … nk- 1 ][0...nk-1][0\dots n^k -1]k &lt; lgnk&lt;LG⁡nk<\lg nnnnΘ ( n )Θ(n)\Theta(n)nnnΘ ( n k )Θ(nk)\Theta(nk) อย่างไรก็ตามฉันได้อ่านแล้วว่าโดยทั่วไปแล้วการเรียงลำดับของ Radix ในทางปฏิบัติจะช้ากว่าการทำ Quicksort แบบสุ่มมาก : สำหรับอาร์เรย์ขนาดใหญ่การเรียงลำดับแบบ Radix มีจำนวนการเรียนการสอนต่ำที่สุด แต่เนื่องจากประสิทธิภาพแคชค่อนข้างต่ำประสิทธิภาพโดยรวมจึงแย่กว่ารุ่นที่ผสานหน่วยความจำและการรวมแบบรวดเร็ว การจัดเรียงของ Radix เป็นเพียงแค่อัลกอริธึมทางทฤษฎีที่ดีหรือว่ามันมีประโยชน์ในทางปฏิบัติทั่วไปหรือไม่?

20 algorithms  sorting  applied-theory  radix-sort 

ฉันมักจะโต้ตอบกับผู้ที่ต้องการขออัลกอริทึมสำหรับปัญหาการคำนวณ (หรือความซับซ้อนของมัน) แต่พวกเขาไม่ได้แสดงมันอย่างเข้มงวดเพื่อให้เรา (นักวิทยาศาสตร์คอมพิวเตอร์) เข้าใจ การอ้างถึงหนังสือเช่น CLRS นั้นไม่เป็นประโยชน์เพราะตัวอย่างมักจะมีวิธีการที่ค่อนข้างตรงไปตรงมาในการระบุอย่างจริงจังเช่นให้รายชื่อของกราฟและสองจุดยอดในการคำนวณเส้นทางที่สั้นที่สุดระหว่างจุดเหล่านั้น มีหนังสือดี ๆ (หรือแหล่งข้อมูลอื่น ๆ ) ที่บุคคลที่มีความรู้น้อยที่สุดของ CS สามารถเรียนรู้ได้อย่างไรว่าเราควรกำหนดและระบุปัญหาการคำนวณด้วยวิธีที่เข้มงวดซึ่งเป็นที่เข้าใจของนักวิทยาศาสตร์คอมพิวเตอร์หรือไม่ โดยเฉพาะอย่างยิ่งหนังสือควรมีตัวอย่างมากมายของวิธีการกำหนดปัญหาการคำนวณอย่างจริงจังจากตัวอย่างของโดเมนและโลกแห่งความจริงที่หลากหลาย การอธิบาย หากต้องการทำให้คำถามมีความเฉพาะเจาะจงมากขึ้นสมมติว่าพวกเขารู้คำศัพท์ทางคณิตศาสตร์ / CS พื้นฐานเช่นชุดฟังก์ชั่นกราฟรายการ ฯลฯ ในระดับชั้นปีที่ 1/2 นักศึกษาปริญญาตรี CS (ซึ่งเป็นกรณีของคนที่ฉันมี ใจ) ตัวอย่างเช่นพวกเขาได้อ่านตำราเรียนเบื้องต้นเช่น Aho และ Ullman (แม้ว่าพวกเขาอาจจะยังไม่เข้าใจทั้งหมดก็ตาม) อัล Aho และเจฟฟ์ Ullman มูลนิธิวิทยาศาสตร์คอมพิวเตอร์ 2535

20 algorithms  reference-request  books 

ฉันต้องหาวัฏจักรเชิงลบในกราฟถ่วงน้ำหนักกำกับ ฉันรู้ว่าอัลกอรึทึมของ Bellman Ford ทำงานอย่างไรและมันบอกฉันว่ามีรอบลบหรือไม่ แต่มันไม่ได้ตั้งชื่ออย่างชัดเจน ฉันจะได้รับเส้นทางจริงของวัฏจักรอย่างไรv 1 , v 2 , … v k , v 1v1,v2,…vk,v1v1, v2, \ldots vk, v1 หลังจากใช้อัลกอริทึมมาตรฐานเราได้ทำการวนซ้ำแล้วและไม่ควรทำการปรับปรุงเพิ่มเติม หากเรายังคงสามารถลดระยะห่างไปยังโหนดได้จะมีวัฏจักรเชิงลบเกิดขึ้นn - 1n-1n-1 ความคิดของฉันคือ: เนื่องจากเรารู้ว่าขอบที่ยังสามารถปรับปรุงเส้นทางและเรารู้ว่าบรรพบุรุษของแต่ละโหนดเราสามารถติดตามวิธีการของเรากลับจากขอบนั้นจนกว่าเราจะได้พบกันอีกครั้ง ตอนนี้เราควรมีวัฏจักรของเรา น่าเศร้าที่ฉันไม่พบบทความใด ๆ ที่บอกฉันว่าสิ่งนี้ถูกต้องหรือไม่ ดังนั้นมันใช้งานได้จริงเช่นนั้น? แก้ไข:ตัวอย่างนี้พิสูจน์ว่าความคิดของฉันไม่ถูกต้อง ได้รับรูปแบบของกราฟต่อไปนี้เราทำงานยามฟอร์ดจากโหนด1111 เราจะดำเนินการขอบในลำดับD หลังจากทำซ้ำเราจะได้รับระยะทางโหนด:n - 1 1 : - 5 2 : - 30 3 : - …

20 algorithms  graphs  shortest-path 

ฉันสั่งแผ่นหนังสองสามผืนซึ่งฉันต้องการสร้างลูกเล่นกลโดยเย็บขอบด้วยกัน ฉันใช้ของแข็งเพลโตโตเพื่อรูปร่างของลูกบอล ฉันสามารถสแกนแผ่นหนังและสร้างรูปหลายเหลี่ยมที่ใกล้เคียงกับรูปร่างของแผ่นหนัง (อย่างที่คุณรู้มันเป็นหนังสัตว์และมันไม่ได้เป็นรูปสี่เหลี่ยมผืนผ้า) ดังนั้นตอนนี้ฉันต้องการที่จะเพิ่มขนาดของลูกเล่นกล ในตัวอย่างของฉันรูปหลายเหลี่ยมเป็นรูปแบบปกติ แต่ฉันกำลังมองหาวิธีแก้ปัญหาด้วยรูปหลายเหลี่ยมอย่างง่าย ตัวประกอบสเกลที่ใหญ่ที่สุดที่ฉันสามารถใช้กับรูปหลายเหลี่ยมของฉันคืออะไรเพื่อให้พอดีกับแผ่นด้านใน ฉันพยายามลดขยะโดยใช้วัสดุให้ได้มากที่สุด เห็นได้ชัดว่าการตัดตาข่ายรูปทรงหลายเหลี่ยมเป็นรูปหลายเหลี่ยมแต่ละอันจะเพิ่มพื้นที่ของชุดค่าผสมที่เป็นไปได้ แต่ยังลดคุณภาพของรูปทรงเรขาคณิตสุดท้ายเนื่องจากมีการตัดเย็บที่เกี่ยวข้องมากขึ้นและมีข้อผิดพลาดสะสม แต่คำถามนี้ไม่ได้เกี่ยวกับการแจกแจงหลายวิธีในการตีแผ่รูปทรงหลายเหลี่ยม พวกเขาสามารถพิจารณาได้อย่างอิสระ รูปหลายเหลี่ยมจึงเป็นรูปหลายเหลี่ยมอย่างง่าย อย่างเป็นทางการ: การป้อนข้อมูล: PPP : รูปหลายเหลี่ยมแบบง่าย (เป้าหมาย) SSS : ชุดรูปหลายเหลี่ยมที่ฉันต้องการวาง GGG : กราฟของเหลี่ยมง่าย - แต่ละโหนดแสดงให้เห็นถึงรูปหลายเหลี่ยมที่เรียบง่ายในและมีขอบขอบหนึ่งระหว่างคู่ของรูปหลายเหลี่ยมแต่ละที่ใช้ขอบทั่วไป nnnSSS α &gt; = 0 , β&gt; = 0α&gt;=0,β&gt;=0\alpha >= 0, \beta >= 0 (การใช้วัสดุและการเชื่อมต่อ) เอาท์พุท: ปัจจัยขนาดฉff GHHH , กราฟย่อยของGGG : ตำแหน่งและมุมสำหรับแต่ละเหลี่ยมใน …

20 optimization  computational-geometry  packing 

สมมติว่าเรามีที่กำกับกราฟและสองโหนดและBฉันต้องการทราบว่ามีอัลกอริทึมสำหรับคำนวณปัญหาการตัดสินใจต่อไปนี้หรือไม่:A BG=(V,E)G=(V,E)G=(V,E)AAABBB มีอย่างน้อยสองเส้นทางระหว่างและที่มีความยาวเท่ากันหรือไม่?BAAABBB แล้วความซับซ้อนล่ะ? ฉันจะแก้มันในเวลาพหุนามได้หรือไม่? ฉันต้องการเพิ่มข้อ จำกัด ใหม่บนกราฟบางทีปัญหาอาจแก้ไขได้มากกว่า ในเมทริกซ์คำคุณศัพท์ทุกคอลัมน์ไม่ว่างเปล่า ดังนั้นทุกโหนดมีลูกศรอย่างน้อยหนึ่งลูกที่อินพุตและมีอย่างน้อยหนึ่งโหนดที่เชื่อมต่อกับตัวเอง ดังนั้นถ้าโหนดคือโหนด th ดังนั้นคือขอบในกราฟ( ฉัน, ฉัน)iii(i,i)(i,i)(i,i)

20 complexity-theory  graph-theory  time-complexity  graphs 

พาณิชย์พิซซ่าอ้างว่าคุณสามารถรวมส่วนผสมของพวกเขาให้ได้ 34 ล้านชุดค่าผสม ฉันไม่เชื่อดังนั้นฉันจึงกำจัดทักษะ combinatorics ที่เป็นสนิมและพยายามหาทาง นี่คือสิ่งที่ฉันมีจนถึงตอนนี้: จากเว็บไซต์สั่งซื้อออนไลน์ฉันได้รับตัวเลือก เปลือกโลก (4 ประเภทเลือก 1) ขนาด (4 ประเภทให้เลือก 1) เปลือกโลกบางอันถูก จำกัด ไว้ที่ขนาดที่แน่นอน - ไม่ใช่การบัญชีสำหรับเรื่องนั้น แต่ต้องการที่จะ ชีส (5 ชนิดเลือก 1) ซอส (4 แบบเลือก 1) ระดับซอส (3 ประเภทเลือก 1) เนื้อสัตว์ (9 ชนิดเลือกได้ถึง 9) ไม่ใช่เนื้อสัตว์ (15 ชนิดเลือกได้ถึง 15) ดังนั้นฉันคิดว่านี่เป็นปัญหาการรวมกัน (คำสั่งไม่สำคัญ) และไม่ใช่ปัญหาที่เลือก n, อนุญาตให้ว่างได้เลยยกเว้นเปลือกและเปลือก, ขนาด, ชีส, ซอสและซอสระดับจะเลือกเพียงอันเดียว …

20 combinatorics  discrete-mathematics 

เมื่อเร็ว ๆ นี้ผมพบว่าในกระดาษ [1] รุ่นสมมาตรพิเศษ SAT เรียกว่า2/2 / 4-SAT แต่มีตัวแปรสมบูรณ์หลายตัวเช่นMONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} ตัวแปรอื่น ๆ สามารถใช้การได้: - SAT , Planar-NAE- SAT , ...222SATSAT\text{SAT}SATSAT\text{SAT} มีเอกสารสำรวจ (หรือหน้าเว็บ) ที่จำแนกประเภท (แปลก) ทั้งหมดที่ได้รับการพิสูจน์แล้วว่าเป็นแบบNP- ที่สมบูรณ์ (หรือเป็นP )SATSAT\text{SAT}NPNP\text{NP}PP\text{P} การหาวิธีการแก้ปัญหาที่สั้นที่สุดสำหรับ x Nส่วนขยายของ 15 ปริศนาเป็นว่ายากNNNNNNโดย D. รัทเนอร์และเอ็ม Warmuth (1986)

20 complexity-theory  reference-request  satisfiability 

ฉันอ่านวรรณกรรมเมื่อเร็ว ๆ นี้และพบว่ามีโครงสร้างข้อมูลที่น่าสนใจอยู่บ้าง ฉันได้ค้นคว้าวิธีที่แตกต่างหลากหลายในการทำให้เวลาการอัปเดตลดลงเป็นเวลาอัปเดตกรณีที่เลวร้ายที่สุด [1-7]O ( 1 )O(1)\mathcal{O}(1) เมื่อเร็ว ๆ นี้ฉันเริ่มค้นหาโครงสร้างข้อมูลที่ไม่ล็อคเพื่อสนับสนุนการเข้าถึงพร้อมกันอย่างมีประสิทธิภาพ มีกรณีที่เลวร้ายที่สุดเทคนิคการอัปเดตใด ๆ เหล่านี้ถูกนำมาใช้ในการใช้โครงสร้างข้อมูลที่ไม่ล็อคหรือไม่?O ( 1 )O(1)\mathcal{O}(1) ฉันถามเพราะ; สำหรับฉันพวกเขาดูเหมือนการขยายการปฏิบัติที่ชัดเจนของ "การเพิ่มประสิทธิภาพเชิงทฤษฎี" นี้ Tarjan, Robert Endre “ การปรับปรุงโครงสร้างการค้นหาที่สมดุลในการหมุน O (1)” ตัวประมวลผลข้อมูล 16, ไม่ใช่ 5 (1983): 253 - 257 Driscoll, JR, N Sarnak, DD Sleator และ RE Tarjan “ การทำให้โครงสร้างข้อมูลคงทน” ในการประชุมวิชาการ ACM ประจำปีที่สิบแปดเรื่องทฤษฎีคอมพิวเตอร์, …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

ในหลักสูตรทฤษฎีการคำนวณของฉันปัญหามากมายของเราเกี่ยวข้องกับการใช้การเหนี่ยวนำที่ความยาวของสายป้อนเพื่อพิสูจน์งบเกี่ยวกับออโต้ จำกัด ฉันเข้าใจการอุปนัยทางคณิตศาสตร์ แต่เมื่อสายเข้ามาในการเล่นฉันได้รับจริงเพิ่มขึ้น ฉันซาบซึ้งจริง ๆ ถ้ามีคนจะผ่านขั้นตอนการทำเช่นขั้นตอนการพิสูจน์โดยขั้นตอน นี่คือตัวอย่างปัญหา (แบบฝึกหัด 2.2.10 จาก Hopcroft และ Ullman รุ่นที่ 3): พิจารณา DFA ด้วยตารางการเปลี่ยนแปลงต่อไปนี้: 0 1 ________ -&gt; A | AB * B | บริติชแอร์เวย์ อธิบายภาษาที่ยอมรับโดย DFA นี้อย่างไม่เป็นทางการและพิสูจน์โดยอุปนัยเกี่ยวกับความยาวของสตริงป้อนเข้าที่คำอธิบายของคุณถูกต้อง นี่เป็นปัญหาที่ได้รับคำตอบในหนังสือดังนั้นฉันไม่ได้มองหาคนที่จะทำการบ้าน ฉันแค่ต้องการคนที่จะอธิบายให้ฉันตรงๆ คำตอบของหนังสือ: (นำมาจากที่นี่ ) หุ่นยนต์จะบอกว่าจำนวนของ 1 ที่เห็นคือเท่ากัน (state A) หรือคี่ (state B) ยอมรับในกรณีหลัง มันเป็นเรื่องง่ายที่จะเหนี่ยวนำให้กับ | w …

20 automata  finite-automata  proof-techniques  reference-question  induction