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

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

ฉันกำลังมองหาข้อความทั้งหมดของผลลัพธ์ 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 

สมมติว่าเป็นภาษาบูลีนของสตริง จำกัด กว่า{ 0 , 1 } Let L nเป็นหมายเลขของสตริงในLที่มีความยาวn สำหรับฟังก์ชั่นd ( n )จากจำนวนเต็มบวกกับตัวเลขจริงบวกLมีความหนาแน่นบนd ( n )ถ้าL n ≤ 2 n d ( n )สำหรับทุกขนาดใหญ่พอnLLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)d(n)d(n)LLL d(n)d(n)d(n)Ln≤2nd(n)Ln≤2nd(n)L_n \le 2^n d(n)nnn ภาษาบูลีนแบบ P-Complete มีความหนาแน่นสูงหรือไม่O(1/n)O(1/n)O(1/n) แรงจูงใจ PARITY มีความหนาแน่นบน 2 YES (ภาษาของทุกสายอักขระไบนารี จำกัด ) มีความหนาแน่นสูงสุด 1 ภาษาใด ๆ จำกัด มีความหนาแน่นสูงสุด 01/21/21/2 ภาษาเบาบางมีทรัพย์สินที่มีความเป็นพหุนามP ( n …

10 cc.complexity-theory  reference-request  p-hardness 

รับกราฟผสมG=(V,E,A)G=(V,E,A)G=(V,E,A)มีขอบEEEและส่วนโค้งAAA , หาการจับคู่ในEEEที่ลดจำนวนของส่วนโค้งในG/MG/MG/M , โดยที่G/MG/MG/Mได้มาจากGGGโดยการหดตัวจุดยอดที่จับคู่ เส้นโค้งแบบขนาน (เวอร์ชันการตัดสินใจ) ปัญหานี้เป็นปัญหาสมบูรณ์หรือไม่ มีการศึกษาในวรรณคดีหรือไม่?

10 cc.complexity-theory  reference-request  graph-theory 

คำถามของฉันเกี่ยวกับความเท่าเทียมกันของความปลอดภัยของฟังก์ชั่นทางเดียวที่ผู้สมัครสามารถสร้างได้ขึ้นอยู่กับความแข็งของแฟคตอริ่ง สมมติว่าปัญหาของ ปัจจัย: [ให้สำหรับช่วงเวลาสุ่มP , Q &lt; 2 n , หาP , Q ]N=PQN=PQN = PQP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ ไม่สามารถแก้ไขได้ในเวลาพหุนามด้วยความน่าจะเป็นที่ไม่มีสิทธิ์ฟังก์ชัน PRIME-MULT: [ ป.ร. ให้ไว้สตริงบิตเป็น input ใช้xเป็นเมล็ดพันธุ์ที่จะสร้างทั้งสองช่วงเวลาสุ่มPและQ (ที่ความยาวของP , Qเป็นเพียง polynomially ขนาดเล็กกว่าความยาวของx ); จากนั้นเอาต์พุตP Q ]xxxxxxPPPQQQPPPQQQxxxPQPQPQ สามารถแสดงเป็นทางเดียว ฟังก์ชันทางเดียวของผู้สมัครอื่นคือ INTEGER-MULT: [รับจำนวนเต็มสุ่มเป็นอินพุตเอาต์พุตA B ]A,B&lt;2nA,B&lt;2nA, B < 2^nABABA B INTEGER-MULT มีข้อได้เปรียบที่ง่ายต่อการกำหนดเมื่อเปรียบเทียบกับ PRIME-MULT (โปรดสังเกตโดยเฉพาะอย่างยิ่งว่าใน PRIME-MULT …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

นี่คือคำถาม "ติดตาม B" ถ้ามี สรุป: สิ่งแรกที่ฉันคิดว่าเมื่อฉันพยายามที่จะให้ความหมายกับโปรแกรมที่ไม่ได้กำหนดค่าผลลัพธ์ในความหมายที่ฉันไม่สามารถพิสูจน์สิ่งต่าง ๆ เกี่ยวกับลูปที่ยุติเฉพาะ non-deterministicaly แน่นอนว่ามีคนทำสิ่งที่ต้องทำในสถานการณ์นี้หรืออย่างน้อยก็ชี้ให้เห็นว่ามันเป็นเรื่องยาก แต่ฉันไม่รู้จะไปหามันได้อย่างไร (ดังนั้นจึงมีแท็ก "คำขออ้างอิง") พื้นหลัง ฉันต้องการที่จะสร้างแบบจำลองในขณะที่ภาษาที่มีไม่ใช่ระดับ ฉันคิดว่านี่เป็นวิธีที่ชัดเจน (หรืออย่างน้อยก็ไร้เดียงสา) ในการสร้างแบบจำลองภาษาดังกล่าวกับโดเมน Power Smyth แต่แก้ไขให้ถูกต้องถ้าฉันผิด เราจะสร้างแบบจำลองความหมายของคำสั่งในภาษานี้เป็นฟังก์ชั่นที่มีโดเมนเป็นชุดSSSของรัฐและที่มีรหัสเป็นชุดP(S)⊥={⊥}∪P(S)P(S)⊥={⊥}∪P(S){\cal P}(S)_\bot = \{ \bot \} \cup {\cal P}(S)โดยที่⊥⊥\botเป็นองค์ประกอบน้อยที่สุด คิดเป็นไม่ใช่การเลิกจ้างและP(S)P(S){\cal P}(S)เป็นมหาอำนาจแห่งรัฐ σσ\sigma⊥⊥\bot{σ1,σ2,…}{σ1,σ2,…}\{ \sigma_1, \sigma_2, \ldots \}P⊛QP⊛QP \circledast Q ⟦skip⟧σ={σ}⟦skip⟧σ={σ}⟦\mathbf{skip}⟧\sigma = \{ \sigma \} ⟦x:=E⟧σ={σ[(⟦E⟧σ)/x]}⟦x:=E⟧σ={σ[(⟦E⟧σ)/x]}⟦x := E⟧\sigma = \{ \sigma[(⟦E⟧\sigma)/x] …

10 reference-request  denotational-semantics 

ฉันอยากรู้ว่าใครบางคนสามารถแนะนำวัสดุเสริมบางอย่างเพื่อให้เข้าใจกระดาษได้มากขึ้น: " ผลลัพธ์และปัญหาบางประการเกี่ยวกับความไม่เท่าเทียมกันของ Quantum Bell-Type - Tsirelson " โดยเฉพาะอย่างยิ่งสิ่งที่อาจอธิบายเพิ่มเติมเกี่ยวกับการตีความทางเรขาคณิตของความไม่เท่าเทียมกันของ Bell-Type อาจเป็นกระดาษรองพื้นหรือตำราเรียนที่เกี่ยวข้องซึ่งมีรายละเอียดเพิ่มเติมเกี่ยวกับเรื่องเหล่านี้ ฉันขอขอบคุณข้อเสนอแนะใด ๆ / ทั้งหมด ขอบคุณอีกครั้ง.

10 reference-request  quantum-computing  quantum-information 

มีจำนวนงานในปัญหาการคำนวณสำหรับคำสั่งบางส่วน (เช่นการรับรู้, จำนวนข้าม, การรับรู้กราฟเปรียบเทียบ, ฯลฯ ... ) ฉันอยากรู้ว่างานที่ทำเฉพาะกับโปรยทำอะไร ฉันได้ค้นหาไปรอบ ๆ และไม่พบงานที่คล้ายกันมากสำหรับขัดแตะ โดยเฉพาะอย่างยิ่งฉันสนใจว่ามีการตรวจสอบปัญหาขัดแตะต่อไปนี้: การรับรู้ของ Lattice: กำหนด DAG หรือคำสั่งบางส่วนในความเป็นจริงแล้วเป็น Lattice หรือไม่ การรับรู้กราฟเปรียบเทียบของ Lattice: กำหนดกราฟที่ไม่ได้บอกทิศทาง G ขอบของ G สามารถปรับได้เพื่อให้การวางแนวผลลัพธ์เป็น lattice หรือไม่? การพิจารณา / นับองค์ประกอบที่ลดลงของการเข้าร่วมของขัดแตะ การพิจารณาว่ามีการกระจายตาข่าย / โมดูล

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

แม้ว่าการแยกชี้แจงระหว่างความซับซ้อนแบบสอบถามขอบเขตควอนตัมข้อผิดพลาด ( ) และความซับซ้อนแบบสอบถามกำหนด ( ) หรือข้อ จำกัด ขอบเขตความซับซ้อนแบบสอบถามข้อผิดพลาดแบบสุ่ม ( ) พวกเขาจะนำไปใช้กับบางส่วนเท่านั้น หากฟังก์ชั่นบางส่วนมีบางโครงสร้างพิเศษแล้วพวกเขาจะยังเกี่ยวข้องกับ polynomially9)) อย่างไรก็ตามฉันส่วนใหญ่กังวลเกี่ยวกับฟังก์ชั่นทั้งหมดD ( f ) R ( f ) D ( f ) = O ( Q ( f ) 9 ) )Q ( f)Q(f)Q(f)D ( f)D(f)D(f)R ( f)R(f)R(f)D ( f) = O ( Q ( f)9) …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

โปรแกรมช่วงเป็นวิธีเชิงเส้นพีชคณิตระบุฟังก์ชั่นบูลแนะนำที่นี่ เมื่อเร็ว ๆ นี้รุ่นนี้ถูกใช้เพื่อแสดงให้เห็นว่าวิธีการที่เป็นปฏิปักษ์เชิงลบมีลักษณะที่เข้มงวด (อย่างน้อยถึง ) ของความซับซ้อนของการสืบค้นควอนตัมเข้าสู่ระบบn /บันทึกเข้าสู่ระบบnlog⁡n/log⁡log⁡n\log n/ \log \log n ความซับซ้อนของการวัดการเชื่อมต่อโปรแกรมขยายความซับซ้อนของการสืบค้นควอนตัมคือขนาดของพยาน มาตรการนี้ดูเหมือนจะค่อนข้างคล้ายกับความซับซ้อนของใบรับรอง มีการเชื่อมต่อที่รู้จักกันระหว่างสองมาตรการหรือไม่ การวัดขนาด (จำนวนของเวกเตอร์อินพุต) สำหรับการขยายโปรแกรมและการวัดอื่น ๆ เช่นความซับซ้อนของแบบสอบถามที่กำหนดขึ้นและสุ่ม อัลกอริทึมแบบดั้งเดิมที่รู้จักกันดีที่สุดสำหรับการประเมินโปรแกรม span คืออะไร แก้ไข (หลังจากคำตอบโดย Martin Schwarz): สิ่งที่น่าสนใจเป็นพิเศษคือการเชื่อมโยงแนวความคิดที่ตรงผ่านช่วงโปรแกรมตรงข้ามกับการโต้ตอบระหว่างขนาดพยานและความซับซ้อนของการสืบค้นควอนตัม มีผลลัพธ์แบบคลาสสิกที่ให้สัญชาตญาณเกี่ยวกับการขยายโปรแกรม / ขนาดของพยานและวิธีการที่เกี่ยวข้องกับความซับซ้อนของแบบสอบถามที่กำหนดขึ้นและสุ่ม?

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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

10 reference-request  big-list  derandomization  pr.probability 

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

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

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

10 reference-request  lg.learning  gt.game-theory 

คุณแนะนำเอกสารใดเกี่ยวกับการจัดการข้อผิดพลาดในระบบกระจาย

10 reference-request  dc.distributed-comp