คำถามติดแท็ก soft-question

Katz และ Lindell พูดถึงในหนังสือของพวกเขาว่า LFSR เป็นสิ่งที่น่ากลัวเป็นพื้นฐานสำหรับเครื่องกำเนิดไฟฟ้าเทียมหลอกและสนับสนุนว่าพวกเขาไม่ได้ใช้อีกต่อไป (เช่นกันพวกเขายังแนะนำให้ผู้คนใช้บล็อกยันต์ แต่ฉันเห็นตัวอย่างว่าหนึ่งในยันต์ในพอร์ทโฟลิโอ estream ( Grain , เป้าหมายสำหรับฮาร์ดแวร์) ใช้ LFSR ดังนั้นความคิดเห็นที่ว่า LFSR นั้นไม่ดีไม่ได้เป็นฉันทามติ ฉันต้องการที่จะรู้ว่ามี cryptologists หลายคนแบ่งปันความคิดเห็นของ Katz และ Lindell เกี่ยวกับ LFSRs (และบน ciphers กระแส) หรือไม่

10 soft-question  cr.crypto-security  pseudorandom-generators 

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

10 soft-question  advice-request  career 

คำถามนี้เป็นคำถามในขณะเดียวกันการพูดคุยสร้างแรงบันดาลใจสำหรับนักเรียนปีสุดท้ายของโรงเรียนมัธยม ปริญญาเอกของฉัน ที่ปรึกษาขอให้ฉันพูดคุยสร้างแรงบันดาลใจสำหรับ วท.ม. ใหม่ นักเรียน เรื่องเป็นรากฐานของการเข้ารหัสซึ่งเป็นตัวอย่างที่ดีที่สุดโดยหนังสือ Goldreich ของ การพูดคุยจะใช้เวลาประมาณหนึ่งชั่วโมงและฉันต้องการให้นักเรียนคุ้นเคยกับโครงสร้างหลัก (เช่นฟังก์ชั่น / การเปลี่ยนทิศทางทางเดียวเครื่องกำเนิดไฟฟ้าแบบหลอกเทียม, การพิสูจน์ความรู้ที่ไม่มีศูนย์, แผนการเข้ารหัส / ลายเซ็นเป็นต้น) และแก้ไขและ ปัญหาที่ไม่ได้แก้ไขในสนาม ฉันต้องการให้พูดมากสร้างแรงจูงใจ ปัญหาหลักคือสองเท่า: รากฐานของการเข้ารหัสความต้องการความเข้าใจที่ดีมากของทฤษฎีการคำนวณซับซ้อน อนิจจา วท.ม. นักเรียนยังไม่ได้ผ่านหลักสูตรใด ๆ ที่เกี่ยวข้องกับทฤษฎีนี้ ฉันต้องนำเสนอปัญหาบางอย่างเป็นหัวข้อที่เป็นไปได้สำหรับ วท.ม. วิทยานิพนธ์. ในขณะที่มีปัญหามากมายที่ยังไม่แก้ในสนาม แต่ส่วนใหญ่ก็ยากเกินไปสำหรับ วท.ม. นักเรียน ข้อเสนอแนะยินดีต้อนรับมากที่สุด นอกจากนี้ฉันสนใจพอยน์เตอร์ในการพูดคุยที่คล้ายกันมาก แก้ไข:ฉันพบรายชื่อนักเรียนของ Goldreichที่สร้างแรงบันดาลใจอย่างมาก ฉันจะค้นหารายชื่ออื่น ๆ แต่คุณสามารถช่วยฉันได้หากคุณรู้จักรายการที่คล้ายกัน ดูเพิ่มเติม: Demystifying วิทยานิพนธ์ปริญญาโทและการวิจัยใน General: เรื่องของบางโทวิทยานิพนธ์

10 reference-request  soft-question  cr.crypto-security  teaching 

มีเครื่องมือใดบ้างที่สามารถคิดได้ว่าคนสองคนได้รับอนุญาตหรือไม่? เช่นเดียวกับเครื่องมือที่สามารถคิดออกErdos _number_ ของใครบางคน

10 soft-question 

เฮ้ทั้งหมดฉันกำลังพยายามหาหัวข้อวิทยานิพนธ์ระดับปริญญาโทที่เกี่ยวข้องกับทฤษฎีออโตมาตะบางสาขาหรือเกี่ยวข้องกับภาษาทางการ ฉันพยายามที่จะสร้างความคิดที่ดีสำหรับสิ่งที่หัวข้อที่ยอมรับจะเป็นสิ่งที่มีความทะเยอทะยาน แต่สิ่งที่ทำได้ในเวลาเดียวกัน ข้อเสนอแนะใด ๆ ที่จะได้รับการชื่นชมอย่างมาก!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

ฉันสนใจในหัวข้อต่าง ๆ เช่น Combinatory Logic, แลมบ์ดาแคลคูลัส, การเขียนโปรแกรมเชิงฟังก์ชั่นอยู่พักหนึ่งและได้ศึกษามาแล้ว อย่างไรก็ตามแตกต่างจาก "ทฤษฎีการคำนวณ" ซึ่งมุ่งมั่นที่จะตอบคำถามของ "การคำนวณ" คือสิ่งที่สามารถ / ไม่สามารถคำนวณได้ด้วยข้อ จำกัด ต่าง ๆ ฉันกำลังดิ้นรนเพื่อหาอนาล็อกสำหรับ "ทฤษฎีการเขียนโปรแกรม" Wikipediaอธิบายว่าเป็น: Programming language theory (PLT) เป็นสาขาหนึ่งของวิทยาการคอมพิวเตอร์ที่เกี่ยวข้องกับการออกแบบการใช้งานการวิเคราะห์การจำแนกลักษณะและการจำแนกประเภทของภาษาโปรแกรมและคุณลักษณะส่วนบุคคล นี่ก็เหมือนกับการพูดว่า "ทุกอย่าง" ซึ่งไม่เจาะจงจริงๆ ความก้าวหน้าทั่วไปของหัวข้อมักเป็นดังนี้: Combinatory Logic> แลมบ์ดาแคลคูลัส> ทฤษฎีมาร์ตินลอฟประเภท> แคลคูลัสแลมบ์ดาที่พิมพ์> (มีบางอย่างเกิดขึ้นที่นี่)> ภาษาโปรแกรมที่พัฒนาขึ้น - ซึ่งมีการเชื่อมต่อน้อยมากกับ CL /λλ\lambda ฉันสามารถดู "คณิตศาสตร์" พื้นฐานที่เกี่ยวข้องกับ CL /λλ\lambdaและบทพิสูจน์ที่น่าสนใจที่ออกมาเป็นผลรวมถึงทฤษฎีบท Church-Rosser และนั่นก็เรียบร้อย อย่างไรก็ตามฉันพยายามดิ้นรนเพื่อทำความเข้าใจกับ "เป้าหมายสุดท้าย" ของกิจการทั้งหมดนี้ใช่ไหม …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

ฉันเป็นโปรแกรมเมอร์มืออาชีพที่สอนตัวเอง ฉันทำได้ดีทีเดียว (Ruby, Unix, Clojure, Java, Objective-C) แต่ตอนนี้ฉันกำลังคิดที่จะก้าวไปอีกระดับด้วยการสมัครเรียนปริญญาโทหรือปริญญาเอกใน CS ฉันควรศึกษาหัวข้อใดในวิชาคณิตศาสตร์เพื่อเตรียมรับเป้าหมายนี้

10 soft-question  advice-request  career 

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

9 soft-question  parameterized-complexity 

ถ้าผมเข้าใจอย่างถูกต้องที่จะพิสูจน์ว่าปัญหาเป็น NP ยากที่คุณจะต้องรับปัญหาได้ทั้งหมดที่อยู่ใน NP แล้วพิสูจน์ว่าพวกเขาลดโดยใช้เวลาพหุนามฟังก์ชันคำนวณว่าแผนที่อินสแตนซ์ของแต่ละอินสแตนซ์ของAAABผมBผมB_{i}AAABผมBผมB_{i}AAA เมื่อคุณพบปัญหาที่ยากครั้งแรกของ NP โดยใช้การลดลงคุณจะพบว่าปัญหาอื่น ๆ อีกมากมายนั้นเป็นปัญหาที่เกิดขึ้นอย่างสมบูรณ์ อย่างไรก็ตามฉันคิดว่ามันขึ้นอยู่กับ หากคุณโชคร้ายปัญหาทั้งหมดอาจลดลงถึงแต่ลดน้อยลงไปกว่าเดิมดังนั้นหลักฐานของคุณก็ไร้ประโยชน์BผมBผมB_{i}AAAAAA คำถามของฉันเกี่ยวกับแรงบันดาลใจที่สตีเฟ่นคุกแสดงให้เห็นว่าปัญหา SAT นั้นยากมาก เขาเห็นศักยภาพมากมายที่อยู่เบื้องหลังปัญหานี้หรือไม่? เขารู้หรือไม่ว่าถ้าเขาแสดงให้เห็นว่าปัญหานี้เป็นปัญหาที่หนักหน่วง NP ปัญหาอื่น ๆ อีกมากมายที่อาจแสดงให้เห็นว่าเป็นปัญหาหนักเช่นกัน? ในระยะสั้นเรื่องราวเบื้องหลังการพิสูจน์นี้คืออะไร? เพราะหลังจากศึกษาทฤษฎีความซับซ้อนขั้นพื้นฐานแล้วดูเหมือนว่าการพิสูจน์นี้เป็นหนึ่งในทฤษฎีที่สำคัญที่สุดในพื้นที่นี้

9 soft-question  ho.history-overview  cook-levin 

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

9 co.combinatorics  soft-question 

นี่คือคำถามที่นุ่มมุ่งเป้าไปที่การสร้างสิ่งที่ผู้คนคิดว่าเป็นมืออาชีพปฏิบัติที่ดีที่สุดสำหรับการส่งมูลทำงานใน arXiv มีร่างบทความ [1] โดย Robert Szelepcsényiที่ webspace ของเขาที่ University of Chicago เห็นได้ชัดว่าเขียนมานานกว่าทศวรรษที่ผ่านมาในระหว่างการศึกษาระดับบัณฑิตศึกษาของเขา งานดูเหมือนจะถูกต้อง modulo ข้อผิดพลาดเล็กน้อยและมีผลลัพธ์ที่ฉันต้องการอ้างถึงโดยไม่ขึ้นกับสิ่งที่ University of Chicago ตั้งใจจะทำกับพื้นที่เว็บนั้น ดูเหมือนว่าจะใช้ได้เฉพาะที่เดียวเท่านั้น และดูเหมือนจะไม่มีงานที่เปิดเผยต่อสาธารณะซึ่งซ้ำกับผลลัพธ์ของเขา ส่วนหนึ่งเพื่อให้มั่นใจในความถูกต้องฉันได้จดบันทึกตัวเองเพื่อสรุปผลและแรงจูงใจของร่างนั้นโดยยอมรับว่ามันเป็นความจริงที่สรุป [1] ร่างที่มีอยู่ แน่นอนว่าฉันสามารถใส่บันทึกย่อเหล่านี้ทางออนไลน์บนพื้นที่เว็บของฉันเอง แต่ในปัจจุบัน arXiv ดูเหมือนจะเป็นสถานที่ที่มีความรับผิดชอบมากที่สุดในการส่งร่างนี้เพื่อการอ้างอิงในอนาคต คำถาม. สมมติว่ามีการระบุแหล่งที่มาที่ถูกต้องและยอมรับว่าผลลัพธ์เหล่านี้ไม่สามารถใช้ได้อย่างกว้างขวางมีเหตุผลใดที่ฉันไม่ควรส่งร่างของผลลัพธ์Szelepcsényiใน arXiv? [1] คลาสของ Logspace MOD พร้อม Composite Moduli (เวอร์ชั่นเบื้องต้น) - ไฟล์ Postscript

9 soft-question  research-practice 

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

9 soft-question  research-practice  career 

จำนวนเฉลี่ยของสิ่งพิมพ์ (รวมถึงการดำเนินการประชุม) ต่อปีสำหรับนักวิจัยหลังปริญญาเอก CS ในสหรัฐอเมริกาคืออะไร? วิธีการหาหรือประมาณจำนวนนี้มีอะไรบ้าง

9 soft-question  advice-request  research-practice  career 

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

9 soft-question  research-practice  writing  paper-review  conferences 

ทฤษฎีความซับซ้อนในการคำนวณแบ่งประเภทปัญหาตามความยากลำบากโดยธรรมชาติของพวกเขา ทฤษฎีระบบที่ซับซ้อนกล่าวถึงระบบที่แสดงพฤติกรรมที่ไม่ได้เกิดขึ้นอย่างเห็นได้ชัดจากคุณสมบัติของแต่ละส่วนของระบบ ตัวอย่าง ได้แก่ ระบบที่วุ่นวายระบบปรับตัวที่ซับซ้อนหรือระบบไม่เชิงเส้น มีสะพานอย่างเป็นทางการระหว่างสาขาเหล่านี้หรือไม่ สำหรับสิ่งที่คุ้มค่าแนวคิดเกี่ยวกับการเข้ารหัสด้วยออโตมาตาเซลลูล่าร์นั้นไม่ใช่เรื่องใหม่และเมื่อต้นปีนี้ Applebaum, Ishai และ Kushilevitzระบุว่า "ความซับซ้อน" กับความสามารถในการคำนวณเชิงคอมพิวเตอร์

9 cc.complexity-theory  soft-question  big-picture