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

ฉันพยายามที่จะเข้าใจโปรโตคอล bitcoin ในบริบทของความปลอดภัยการเข้ารหัสคอมพิวเตอร์ คำถามคือคำร้องขออ้างอิงถึงรากฐานของบทความการเข้ารหัสใน bitcoin คำถามแรกของฉันคือสิ่งที่ bitcoin โปรโตคอลการเข้ารหัสนามธรรมพยายามนำไปใช้? เรามีคำจำกัดความของเงินอิเล็กทรอนิกส์ / สกุลเงินดิจิทัลในการเข้ารหัสที่รวบรวมบิตคอยน์หรือไม่? ข้อกำหนดด้านความปลอดภัยสำหรับเงินอิเล็กทรอนิกส์ที่ปลอดภัยมีอะไรบ้าง หากคำตอบคือใช่ บริษัท เช่น eBay จะให้บริการโอนเงินทางอิเล็กทรอนิกส์แบบรวมศูนย์ การพิจารณาเงินอิเล็กทรอนิกส์ที่กระจายอำนาจเปลี่ยนคำจำกัดความของโปรโตคอลการเข้ารหัสนามธรรมสำหรับเงินอิเล็กทรอนิกส์หรือไม่? หรือเป็นเพียงแนวคิดเดียวกัน แต่ในรูปแบบที่ไม่มีบุคคลที่สามที่เชื่อถือได้? ฝ่ายตรงข้ามสามารถทำลายโปรโตคอลได้หรือไม่หากมันมีพลังการคำนวณมากกว่าพลังการคำนวณแบบรวมของฝ่ายอื่น ๆ (ซื่อสัตย์)? สมมติว่าเรามีปาร์ตี้สำหรับบวกกับฝ่ายตรงข้ามเครือข่ายและฝ่ายตรงข้ามต้องการทำลายโปรโตคอล bitcoin เพื่อความง่ายสมมติว่ากราฟเครือข่ายคือและฝ่ายตรงข้ามไม่ได้ควบคุมเครือข่ายและเป็นเพียงฝ่ายที่เหมือนกับคนอื่น ๆ อะไรคือข้อเรียกร้องทางคณิตศาสตร์ที่แน่นอนเกี่ยวกับความปลอดภัยของโปรโตคอลในกรณีง่าย ๆ นี้?nnnPผมPผมP_i1 ≤ฉัน≤ n1≤ผม≤n1 \leq i \leq nAAAKn + 1Kn+1K_{n+1}

11 reference-request  cr.crypto-security 

เกมข้อมูลที่สมบูรณ์แบบนี้เล่นบนกราฟที่รู้ / ศึกษาหรือไม่? รับกราฟG=(V,E)G=(V,E)G= (V,E)ผู้เล่นสองคนสลับการเลือกขอบหรือโหนดแยก หากผู้เล่นเลือก edge e=(u,v)e=(u,v)e = (u,v)ทั้งสองโหนดuuuและvvvจะถูกลบพร้อมกับขอบของเหตุการณ์ หากผู้เล่นเลือกโหนดที่แยกได้โหนดจะถูกลบ ผู้เล่นคนแรกไม่สามารถย้ายแพ้เกม ความซับซ้อนในการค้นหาผู้ชนะคืออะไร? มีการอ้างอิงถึงเกมที่คล้ายคลึงกันหรือไม่

11 reference-request  combinatorial-game-theory 

ปัญหาเปิดที่น่าสนใจมากในการศึกษาการวัดความซับซ้อนของฟังก์ชันบูลีนคือความไวที่เรียกว่าการเปรียบเทียบความไวกับการบล็อกความไว สำหรับพื้นหลังกับความไวไวเมื่อเทียบกับบล็อกที่คุณสามารถดูบล็อกโพสต์ต่อไปของเอส Aaronson ที่http://www.scottaaronson.com/blog/?p=453 ความรู้ชั้นยอดที่ดีที่สุดที่รู้จักในในแง่ของs ( f )คือb s ( f ) = O ( e s ( f ) √bs(f)bs(f)bs(f)s(f)s(f)s(f) ) [Kenyon, Kutin paper] แต่แน่นอนว่ามันอาจจะสะดวกกว่าในการเชื่อมโยงs(f)กับความซับซ้อนอื่น ๆ ของการวัดfพูดว่าdeg(f), ระดับfเป็นพหุนามมากกว่าRคือขนาดของสัมประสิทธิ์ฟูริเยร์สูงสุด .bs(f)=O(es(f)s(f)−−−−√)bs(f)=O(es(f)s(f))bs(f)=O(e^{s(f)}\sqrt{s(f)})s(f)s(f)s(f)fffdeg(f)deg⁡(f)\deg(f)fffRR\mathbb{R} คำถามคืออะไรขอบเขตบนที่ดีที่สุดที่รู้จักในในแง่ของs ( f ) ?deg(f)deg⁡(f)\deg(f)s(f)s(f)s(f)

11 cc.complexity-theory  reference-request  fourier-analysis 

พื้นหลังบางส่วน: ฉันสนใจที่จะหาขอบเขตที่ต่ำกว่า "ที่รู้จักน้อยกว่า" (หรือผลลัพธ์ความแข็ง) สำหรับปัญหาการเรียนรู้ที่มีข้อผิดพลาด (LWE) และการวางหลักเกณฑ์ทั่วไปเช่นการเรียนรู้ที่มีข้อผิดพลาดเกี่ยวกับวงแหวน สำหรับคำจำกัดความเฉพาะเป็นต้นนี่คือแบบสำรวจที่ดีโดย Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf ประเภทมาตรฐานของ (R) LWE-style สมมติฐานคือการลดลง (อาจจะเป็นควอนตัม) เพื่อลดปัญหาเวกเตอร์ที่สั้นที่สุดบน (อาจเป็นอุดมคติ) โปรย สูตรปกติของ SVP นั้นเป็นที่รู้จักกันดีว่า NP-hard และเชื่อกันว่าเป็นเรื่องยากที่จะประมาณค่าปัจจัยพหุนามขนาดเล็ก (ที่เกี่ยวข้อง: เป็นการยากที่จะประมาณ CVP ให้อยู่ใน / เกือบเป็นพหุนาม / ปัจจัย: http://dl.acm.org/citation.cfm?id=1005180.1005182 ) ฉันเคยได้ยินมาแล้วว่า (ในแง่ของอัลกอริธึมควอนตัม) การประมาณปัญหาขัดแตะบางอย่าง (เช่น SVP) กับพหุนามขนาดเล็กประมาณนั้นเกี่ยวข้องกับปัญหาของกลุ่มย่อยที่ไม่ Abelian ที่ซ่อนอยู่ (ซึ่งเชื่อว่ายากสำหรับเหตุผลของตัวเอง) แม้ว่าฉันจะไม่เคยเห็นแหล่งที่ชัดเจนและเป็นทางการสำหรับเรื่องนี้ อย่างไรก็ตามฉันสนใจมากขึ้นในผลความแข็ง (ทุกประเภท) ที่มาจากปัญหา Noisy Parity จาก Learning …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

ฉันสนใจในคำถามว่า NP เท่ากับ coNP หรือไม่ ฉันขอขอบคุณคำแนะนำเกี่ยวกับสิ่งตีพิมพ์ที่ดีที่จะอ่านในหัวข้อ สำหรับบันทึกฉันรู้ว่าคำถามนี้เชื่อมโยงอย่างใกล้ชิดกับคำถามว่า P เท่ากับ NP หรือไม่ (เช่นถ้า NP! = coNP แล้ว P! = NP) ไชโยดีเร็ก

11 cc.complexity-theory  reference-request  p-vs-np 

ส่วนหนึ่งของความยากลำบากในการค้นหาข้อมูลเพิ่มเติมเกี่ยวกับปัญหานี้คือปัญหาการจับคู่กราฟแตกต่างจากลูกพี่ลูกน้องที่โด่งดังมากขึ้นปัญหาการจับคู่ แต่ยากที่จะแยกแยะความแตกต่างเมื่อใช้เครื่องมือค้นหา รับกราฟสองกราฟG=(V,E)G=(V,E)G=(V,E)และG′=(V′,E′)G′=(V′,E′)G'=(V',E')เช่นนั้น|V|=|V′||V|=|V′||V| = |V'|งานคือการหา bijection π:V→V′π:V→V′\pi : V \rightarrow V'ดังกล่าวว่า bijection นี้กำหนดเป็นจดหมายมากระหว่างขอบของGGGและG′G′G'เป็นไปได้ กล่าวอีกนัยหนึ่งถ้าMMMและM′M′M'เป็นเมทริกซ์ adjascency แล้วเราต้องการที่จะเพิ่ม ∑v,w∈VMv,w⋅M′π(v),π(w)∑v,w∈VMv,w⋅Mπ(v),π(w)′\sum_{v,w \in V} M_{v,w} \cdot M'_{\pi(v),\pi(w)} ปัญหานี้ชัดเจนประกอบด้วยกราฟมอร์ฟิซึ่มส์เป็นกรณีพิเศษและสามารถลดลงเป็นการจับคู่สองฝ่ายภายใต้การลด (ไม่ใช่พหุนาม!) มีอัลกอริธึมชนิดใดและมีความซับซ้อนเกี่ยวกับอะไรบ้าง?

11 reference-request  graph-theory  graph-isomorphism 

แก้ไข (โดย Tara B): ฉันยังคงสนใจในการอ้างอิงถึงหลักฐานการนี้เนื่องจากฉันต้องพิสูจน์ด้วยตนเองสำหรับกระดาษของฉันเอง ฉันกำลังมองหาหลักฐานของทฤษฎีบท 4 ที่ปรากฏในเอกสารนี้: ลำดับขั้นของการแยกภาษาที่ปราศจากบริบทโดย Liu และ Weiner ทฤษฏีบทที่ 4:การเลียนแบบหลายมิติมิติไม่สามารถแสดงออกได้อย่างชัดเจนในฐานะการรวมกันของการเลียนแบบ จำกัด ซึ่งแต่ละมิตินั้นมีมิติn - 1หรือน้อยกว่าnnnn - 1n−1n-1 ไม่มีใครรู้การอ้างอิงถึงหลักฐานหรือไม่ หากแมนิโฟลด์มีขอบเขต จำกัด และเรากำหนดระเบียบตามธรรมชาติให้กับองค์ประกอบต่างๆ พื้นหลังบางส่วนที่จะเข้าใจทฤษฎีบท: คำนิยาม:ให้เป็นชุดของจำนวนตรรกยะ เซตM ⊆ Q nเป็นนานาเลียนแบบถ้า( λ x + ( 1 - λ ) Y ) ∈ Mเมื่อx ∈ M , Y ∈ Mและλ ∈ QQQ\mathbb{Q}M⊆QnM⊆QnM\subseteq …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

ให้เป็นลำดับของจำนวนเต็มซึ่งแต่ละ\} สำหรับให้. TH ขณะความถี่ถูกกำหนดให้เป็นเจ ∈ { 1 , 2 , ... , n } ฉัน∈ { 1 , 2 , ... , n } m ฉัน = | { j : a j = i } | ka1,a2,…,ama1,a2,…,ama_1, a_2,\dotsc, a_maj∈{1,2,…,n}aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}ฉัน∈ { 1 , 2 , … , n …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

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

11 reference-request  cg.comp-geom 

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

11 reference-request  quantum-computing  communication-complexity  quantum-information 

ฉันอยากจะรู้ว่าปัญหาดังต่อไปนี้สามารถตัดสินใจได้ใน (nondeterministic logspace):NLNL\mathsf{NL} เมื่อกำหนดกราฟกำกับมีจุดยอดสองจุดsและt ที่แตกต่างกันมีเส้นทางที่ไม่ซ้ำกันจากsถึงtในGหรือไม่?GGGssstttssstttGGG ผมรู้สึกว่ามันเป็นไปได้ที่จะอยู่ในตั้งแต่ที่เราสามารถตัดสินใจได้ทั้งถ้ามีs - เสื้อ -path และถ้าไม่มีเส้นทางดังกล่าว ทว่าการนับจำนวนเส้นทางดังกล่าวคือ♯ P -hard (Valiant, 1979)NLNL\mathsf{NL}sssttt♯P♯P\mathsf{\sharp P} ดังนั้นคำถามของฉัน: คุณมีการอ้างอิงเกี่ยวกับเรื่องนี้หรือไม่? เห็นได้ชัดว่ามันอยู่ในหรือไม่? หรือว่ามันไม่ได้อยู่ในN L ?NLNL\mathsf{NL}NLNL\mathsf{NL}

11 reference-request  graph-theory 

มันเป็นไปได้ที่จะสร้างอัลกอริทึมซึ่งจะใช้เวลาเป็น input โฆษณาขยายลงแบบหุ่นยนต์พร้อมกับสัญญาว่าภาษาที่ได้รับการยอมรับโดยหุ่นยนต์นี้เป็นภาษาบริบทกำหนดและผลกำหนดขยายลงหุ่นยนต์ที่รับได้อย่างแม่นยำภาษาที่ได้รับการยอมรับ โดย ?MMML(M)L(M)L(M)Nยังไม่มีข้อความNMMM เป็นปัญหาที่เทียบเท่าจะสร้างอัลกอริทึมซึ่งจะใช้เวลาเป็น input โฆษณาขยายลงแบบออโต (มีสัญญาว่าเป็นกำหนดขึ้นดังกล่าวข้างต้น) และกำหนดขยายลงออNเอาท์พุทจะใช่ถ้าและไม่มีถ้า(N)MMML(M)L(M)L(M)Nยังไม่มีข้อความNL(M)=L(N)L(M)=L(ยังไม่มีข้อความ)L(M) = L(N)L(M)≠L(N)L(M)≠L(ยังไม่มีข้อความ)L(M)\neq L(N) ฉันเชื่อว่าอัลกอริทึมที่แก้ปัญหาแรกจะให้อัลกอริธึมที่สองโดยความสามารถในการตัดสินใจของความเท่าเทียมกันของการกดลงอัตโนมัติ ฉันคิดว่าวิธีแก้ปัญหาข้อที่สองจะบอกถึงวิธีแก้ปัญหาข้อแรกเนื่องจากเราแจกแจงออโตเมตดาต้าที่กำหนดไว้ทั้งหมดและเรียกใช้อัลกอริธึมทีละหนึ่งเมื่อเราได้รับอินสแตนซ์ใช่แล้ว ฉันสงสัยว่าใครรู้อะไรเกี่ยวกับเรื่องนี้? อาจเป็นปัญหาที่ทราบและ / หรือมีวิธีแก้ปัญหาที่รู้จักหรือไม่? นอกจากนี้ฉันเชื่อว่ามันสามารถตัดสินใจได้หากคุณแนะนำข้อ จำกัด ซึ่งระบุว่าภาษาที่สร้างขึ้นโดย PDA เป็นปัญหาคำของกลุ่ม

11 reference-request  computability  fl.formal-languages  automata-theory 

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

11 reference-request  lo.logic  computability  finite-model-theory 

logics มีเงื่อนไขนี้ logics ซึ่งขยายความหมายตรรกะแบบดั้งเดิมกับผู้ประกอบกิริยาที่สอดคล้องกับความคิดอื่น ๆ ของสภาพ (เช่นสาเหตุเงื่อนไขอ่าน " ทำให้เกิด 'B' หรือ probabilistic ปรับอากาศ " " ซึ่งอ่าน "กำหนด")A□→ BA◻→BA\; \square\!\!\!\!\to BAAAA | BA|BA|BAAABBB โดยทั่วไปแล้ว logics เหล่านี้จะได้รับการศึกษาในรูปแบบตามหลักทฤษฏี แต่ฉันสงสัยเกี่ยวกับแอพพลิเคชั่นของพวกเขาในการออกแบบภาษาการเขียนโปรแกรม (ตัวอย่างเช่น ฉันขอขอบคุณที่อ้างอิงถึงทฤษฎีการพิสูจน์ของพวกเขา (เช่นแคลคูลัสตามลำดับ / การหักตามธรรมชาติ) หรือภาษาโปรแกรมที่มีประเภทตามตัวดำเนินการประเภทนี้ ขอบคุณ! แก้ไข: สารานุกรมปรัชญาสแตนฟอร์ดมีการแนะนำที่ดีเกี่ยวกับเรื่องนี้

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity