วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี

ในการค้นหาเอกสารวิจัยเกี่ยวกับระบบการพิมพ์สำหรับภาษาที่จำเป็นฉันจะหาวิธีแก้ปัญหาสำหรับภาษาที่มีการอ้างอิงที่ไม่แน่นอน แต่ไม่มีโครงสร้างการควบคุมที่จำเป็นอย่างแท้จริงเช่นตัวดำเนินการผสมลูปหรือเงื่อนไข ดังนั้นจึงไม่มีความชัดเจนว่าภาษาที่จำเป็นกับการอนุมานบางส่วนเช่นhttp://rust-lang.orgสามารถนำไปใช้ได้อย่างไร เอกสารไม่ได้กล่าวถึงประเภท parametrized เช่นList of aเนื่องจากประเภท parametrized เป็นส่วนขยายเล็กน้อยของระบบประเภท Hindley-Milner - อัลกอริทึมการรวมควรจะขยายและการอนุมานที่เหลือทำงานตามที่เป็นอยู่ อย่างไรก็ตามไม่สามารถเพิ่มงานที่มอบหมายได้เนื่องจากความขัดแย้งเกิดขึ้นดังนั้นต้องใช้เทคนิคพิเศษเช่นข้อ จำกัด ค่า ML คุณสามารถแนะนำเอกสารหรือหนังสือที่อธิบายถึงระบบการพิมพ์สำหรับภาษาที่มีลูปคำสั่งเงื่อนไขเงื่อนไข IO และคำสั่งผสมได้หรือไม่?

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

ระหว่างการทำงานฉันพบปัญหาต่อไปนี้: ฉันกำลังพยายามหาn×nn×nn \times n (0,1)(0,1)(0,1) matrix MMMสำหรับใด ๆ ที่n>3n>3n > 3มีคุณสมบัติดังต่อไปนี้: ดีเทอร์มีแนนต์ของMMMคือเท่ากัน สำหรับชุดย่อยที่ไม่ว่างเปล่าI,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\}ด้วย|I|=|J||I|=|J||I| = |J|ที่ submatrix MIJMJIM^I_Jมีปัจจัยแปลกถ้าหากI=JI=JI=J J นี่MIJMJIM^I_Jหมายถึง submatrix ของMMMที่สร้างขึ้นโดยการลบแถวที่มีดัชนีในIIIและคอลัมน์ที่มีดัชนีในJJJJ จนถึงตอนนี้ฉันพยายามค้นหาเมทริกซ์ดังกล่าวผ่านการสุ่มตัวอย่าง แต่ฉันสามารถค้นหาเมทริกซ์ที่มีคุณสมบัติทั้งหมดยกเว้นเมทริกซ์แรกเท่านั้นนั่นคือเมทริกซ์จะมีปัจจัยแปลกเสมอ ฉันลองใช้ขนาดต่าง ๆ และชุดอินพุต / เอาต์พุตที่แตกต่างกันโดยไม่ประสบความสำเร็จ ดังนั้นนี่ทำให้ฉันคิดว่า: คือมีการพึ่งพาระหว่างข้อกำหนดซึ่งป้องกันไม่ให้พวกเขาเป็นจริงพร้อมกันหรือไม่ หรือ เป็นไปได้ไหมที่เมทริกซ์นั้นมีอยู่และมีคนยกตัวอย่างให้ฉันได้ไหม? ขอบคุณ Etsch

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

อัลกอริทึม Deutsch เป็นที่รู้จักกันดีควอนตัมคอมพิวเตอร์f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} มีเพียงหนึ่งหนึ่งในการประเมินผลของฉfffหากเราแทนที่+++ด้วย⋅⋅\cdotปัญหาดูเหมือนจะค่อนข้างแตกต่างกัน คำถามของฉันคือ: มีอัลกอริทึมควอนตัมที่คำนวณค่าf(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (หรือและถ้าคุณต้องการ) โดยใช้การประเมินfเพียงหนึ่งครั้งfffหรือไม่ มิฉะนั้น: เป็นที่รู้จักกันว่าอัลกอริทึมดังกล่าวไม่อยู่? อัปเดต:ตอนนี้ฉันได้ตระหนักถึงขั้นตอนที่ให้คำตอบที่ถูกต้องพร้อมความน่าจะเป็นที่มากกว่ากระบวนการแบบดั้งเดิมใด ๆ ที่สามารถทำได้ "ข้อผิดพลาด" เป็นหนึ่งด้านในแง่ที่ว่ามันก็ก่อให้คำตอบที่ถูกต้องเมื่อf(0)∧f(1)=1f(0)∧f(1)=1f(0)\wedge f(1)=1 1 สิ่งนี้ทำให้ฉันมีคำถามเพิ่มเติม: มีอัลกอริทึม quentum (อาจคล้ายกับที่กล่าวถึงด้านล่าง) กับคุณสมบัติที่ผลลัพธ์เป็น111ต่อเมื่อf(0)∧f(1)=1f(0)∧f(1)=1f(0)\wedge f(1)=1หรือไม่ แน่นอน "กรณีสถานการณ์ที่ดีที่สุด" จะเป็นขั้นตอนวิธีการที่จะช่วยให้คำตอบที่ถูกต้องกับความน่าจะเป็น1111

10 reference-request  quantum-computing 

มันยากที่จะประมาณค่าเศษส่วนของสีบนกราฟระดับขอบเขตหรือไม่?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

ชุดS= { e1, ⋯ , en}S={อี1,⋯,อีn}S=\{e_1,\cdots,e_n\}จะได้รับ สำหรับแต่ละองค์ประกอบอีผมอีผมe_iเรามีน้ำหนักWผม> 0Wผม>0w_i>0และค่าใช้จ่ายคผม> 0คผม>0c_i>0 0 เป้าหมายคือการหาเซตMMMขนาดkkkที่เพิ่มฟังก์ชั่นมีวัตถุประสงค์ดังต่อไปนี้: Σอีผม∈ MWผม+ ∑อีผม∉ MWผมคผมΣอีผม∉ MคผมΣอีผม∈MWผม+Σอีผม∉MWผมคผมΣอีผม∉Mคผม\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i}ฉัน ปัญหา NP-hard หรือไม่ เนื่องจากฟังก์ชั่นวัตถุประสงค์ดูเหมือนแปลก ๆ มันเป็นประโยชน์ในการอธิบายการประยุกต์ใช้ฟังก์ชั่นวัตถุประสงค์ สมมติว่าเรามี n รายการอี1อี1e_1เพื่ออีnอีne_nและมีคผมคผมc_iสำเนาของแต่ละวัตถุอีผมอีผมe_iในสินค้าคงคลังของเรา เรามีลูกค้าบางคนและพวกเขามีความสนใจในวัตถุเหล่านี้ในสัดส่วนกับน้ำหนักของพวกเขาWผมWผมw_iซึ่งหมายถึงวัตถุที่มีมากขึ้นWผมWผมw_iเป็นที่นิยมมาก เรามีระบบการขายออนไลน์และเราจำเป็นต้องตอบคำขอของลูกค้าอย่างถูกต้อง เราไม่สามารถจำแนกวัตถุตามรูปร่างของวัตถุ (พวกมันดูเหมือนกัน!) แต่เรามีลักษณนามเพื่อค้นหาพวกมัน ลักษณนามแต่ละตัวสามารถใช้สำหรับตรวจจับสำเนาของวัตถุ เรามุ่งมั่นที่จะรัน k ลักษณนามเพื่อเพิ่มความพึงพอใจของลูกค้า Wผมคผม= pWผมคผม=พีw_i c_i=pฉัน≤ nผม≤ni\leq n

10 np-hardness  optimization 

ฉันกำลังมองหาตัวอย่างของปัญหาที่ยาก (ใน NP หรือหนักกว่า) จากวิทยาการคอมพิวเตอร์ซึ่งสามารถลดลงเป็นแบบจำลองของกระบวนการทางกายภาพ ตัวอย่างเช่น max-2-sat สามารถลดลงเป็นการลดพลังงานในรูปแบบของไอซิ่ง ฉันต้องการค้นหาตัวอย่างเพิ่มเติมของการลดประเภทนี้

10 cc.complexity-theory  reductions  physics  formal-modeling 

ไม่แน่ใจว่าถูกต้องหรือไม่ แต่ตรงนี้จะไป การเริ่มต้นปริญญาเอกด้านการจัดการความน่าเชื่อถือและชื่อเสียงในเครือข่ายการสื่อสาร (ทฤษฎีกราฟจำนวนมากการวิเคราะห์ความน่าจะเป็น ฯลฯ ) และมีการอ่านล่วงหน้ามากมาย ใครสามารถแนะนำวิธีที่ดีที่สุดในการจัดการการอ่านเชิงวิชาการและสิ่งที่ฉันควรจะสังเกตเห็นสำหรับการทบทวนวรรณกรรม / รายงานความคืบหน้า ฯลฯ ?

10 soft-question  advice-request  research-practice 

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

10 graph-algorithms  cg.comp-geom  optimization 

มีอัลกอริธึมเวลาพหุนามในการค้นหา - ถ้ามี - แมงมุมที่ครอบคลุมของกราฟที่กำหนด ? แมงมุมเป็นต้นไม้ที่มีอย่างน้อยที่สุดหนึ่งโหนดที่มีระดับมากกว่า 2: ฉันรู้ว่าเงื่อนไขระดับต่างๆของG (โดยปกติคือขนาดของโหนดที่ใหญ่พอสมควร) รับประกันการมีอยู่ของแมงมุมที่ครอบคลุม แต่ฉันสงสัยว่ามีอัลกอริทึมสำหรับGโดยพลการหรือไม่ ขอบคุณ!GGG GGGGGG

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

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

10 reference-request  soft-question  dc.parallel-comp  survey 

ฉันค่อนข้างคุ้นเคยกับทฤษฎีที่อยู่เบื้องหลัง VC-Dimension แต่ตอนนี้ฉันกำลังดูความก้าวหน้าล่าสุด (10 ปีที่ผ่านมา) ในทฤษฎีการเรียนรู้ทางสถิติ: (ท้องถิ่น) ค่าเฉลี่ย Rademacher, Finite Class Lemma ของ Massart จำนวนครอบคลุม, Chaining, Dudley ทฤษฎี, Pseudodimension, Fat Shattering Dimensions, หมายเลขการบรรจุ, องค์ประกอบ Rademacher, และผลลัพธ์ / เครื่องมืออื่น ๆ ที่ฉันไม่ทราบ มีเว็บไซต์สำรวจรวบรวมบทความหรือที่ดีที่สุดของหนังสือครอบคลุมหัวข้อเหล่านี้หรือไม่ หรือฉันกำลังดูตัวอย่างของวิธีการผูกค่าเฉลี่ย Rademacher สำหรับคลาสที่เรียบง่ายในลักษณะเดียวกับที่ผู้คนใช้สี่เหลี่ยมที่จัดเรียงตามแนวแกนเพื่อแสดงวิธีการผูกมิติ VC ขอบคุณล่วงหน้า.

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

บริบท: เราพิจารณาเฉพาะกราฟิคเท่านั้น ให้ CYCLE เป็นภาษาของกราฟที่มีวงรอบ มันเป็นปัญหา NL-complete ให้ HASEDGE เป็นภาษาของกราฟที่มีอย่างน้อยหนึ่งขอบ จากนั้นเล็กน้อยนั้นไม่ใช่ NL-hard อีกต่อไปในขณะที่ยังคงอยู่รอบ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}รอบ∪ HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} ปัญหาที่แท้จริง:ฉันสงสัยว่าภาษายังคงเป็น NL-hardCYCLE ∪ { ( V, E) : ( ∃ u , v , x , y) [ E( u , v ) ∧ E( x , y) ∧ ¬ E( …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

ฉันกำลังมองหาข้อความทั้งหมดของผลลัพธ์ Moon and Moser 1965 เกี่ยวกับ Cliques ในกราฟ (มีกราฟที่มีจำนวน cliques สูงสุดสูงสุดใน ) บัญชีเงินเดือนมหาวิทยาลัยของฉันไม่มีสิทธิ์เข้าถึงวารสารเฉพาะ (อันที่จริงภาพตัวอย่างแสดงประโยคสองสามประโยคแรกของการพิสูจน์ แต่จากนั้นก็ทิ้งฉันโดยไม่เหลือ!)nnn ฉันสนใจผลการวิจัยนี้ที่เกี่ยวข้องกับทิศทางการวิจัยที่ฉันใฝ่ฝัน แต่ทิศทางนั้นเปลี่ยนไปเล็กน้อยดังนั้นความสนใจของฉันจึงเป็นที่สนใจทางวิชาการอย่างแท้จริง คำถามของฉันคือ: มีการเชื่อมโยงไปยังข้อความเต็มของกระดาษที่อื่นหรือกระดาษอื่นที่ร่างหลักฐานหรือถ้าร่างหลักฐานสั้นพอที่จะทำซ้ำที่นี่ใครรู้หรือไม่ นอกจากนี้ฉันสนใจคลาสของกราฟที่มีเลขโบราณจำนวนมาก ฉันเพิ่ม BibTeX สำหรับการอ้างอิง: @article {springerlink:10.1007/BF02760024, author = {Moon, J. and Moser, L.}, affiliation = {University of Alberta Edmonton Canada}, title = {On cliques in graphs}, journal = {Israel Journal of …

10 reference-request  graph-theory  co.combinatorics  clique 

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

10 computability 

ฉันต้องเผชิญกับภาวะที่กลืนไม่เข้าคายไม่ออกค่อนข้างยาก: - ฉันเรียนจบ M.Tech ใน CS 2 ปีที่ผ่านมาโดยทำวิทยานิพนธ์ของฉันให้สำเร็จในสาขาการทดสอบ VLSI ในขณะที่ฉันชอบงานของฉันฉันไม่ต้องการกลับไปเรียนต่อปริญญาเอกของฉันในเรื่องนั้น - ฉันต้องการที่จะเรียนหลักสูตรเชิงทฤษฎี (ในขั้นตอนการประมาณ / ขั้นตอนวิธีออนไลน์) เพื่อให้ได้ปริญญาเอกของฉัน อย่างไรก็ตามเนื่องจากฉันไม่เคยมีประสบการณ์การวิจัยใน TCS (วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี) ฉันกลัวว่าจะทำให้โอกาสในการเข้าเรียนในโรงเรียนที่ดีพอสมควรในสหรัฐอเมริกาในขณะที่ประสบการณ์การวิจัยใน VLSI (เช่นเดียวกับ LORs จากที่ปรึกษา / กรรมการของฉันซึ่งเป็นที่รู้จักกันดีในสาขา VLSI) จะช่วยให้ฉันเข้าโปรแกรมที่ดี (แต่ความกระตือรือร้นของฉันในสาขานั้นได้หมดไปแล้ว) นั่นเป็นเหตุผลที่ฉันต้องการได้ยินจากผู้ที่ประสบความสำเร็จในการย้ายจากการวิจัยขั้นต้น (ในระดับ UG / MS) และสามารถที่จะเริ่มดำเนินการในสาขาที่แตกต่างอย่างสิ้นเชิงสำหรับปริญญาเอกของพวกเขา - คุณอธิบายเหตุผลในการเปลี่ยน SOP ไม่ว่าจะมีผลกระทบต่อโอกาสในการเข้าเรียนในโรงเรียนชั้นนำ ฯลฯ นอกจากนี้สำหรับนักวิชาการที่กำลังดูคำถามคุณจะทำอะไร - คุณชอบนักเรียนที่มีพื้นฐานที่ตรงกับความสนใจของคุณหรือไม่?

10 soft-question  advice-request  career