คำถามติดแท็ก application-of-theory

ให้เป็นเวกเตอร์ของตัวแปรบูลีน Let C , Dเป็นสองวงจรบูลในx พูดว่าCคล้ายกับDถ้า:x = ( x1, … , xn)x=(x1,…,xn)x=(x_1,\dots,x_n)ค, DC,DC,DxxxคCCDDD นั้นเล็กมากเมื่อ xถูกสุ่มอย่างสม่ำเสมอจาก { 0 , 1 } n (กล่าวอีกนัยหนึ่งพวกมันมีฟังก์ชั่นเกือบเหมือนกัน); และ,Pr [ C( x ) ≠ D ( x ) ]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{ 0 , 1 }n{0,1}n\{0,1\}^n แตกต่างกันในระยะแก้ไขกราฟโดยจำนวนเล็กน้อย (ระยะแก้ไขของพวกเขามีขนาดเล็กกว่าขนาดของวงจร, พูด, O ( 1 )หรือค่าคงตัวเล็ก ๆ ), หมายความว่าเกือบทั้งหมดของประตูและสายของ Cตรงกัน …

11 sat  application-of-theory 

ฉันกำลังมองหาโครงสร้างข้อมูลที่มีประสิทธิภาพสูงสำหรับการจัดเก็บข้อมูลคล้ายกับต่อไปนี้ แท็ก Id Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 ฉันต้องการที่จะสามารถที่จะสอบถามโครงสร้างนี้ในลักษณะดังกล่าวว่าจะให้ฉันรายการรหัสทั้งหมดที่มีการแสดงออกของแท็กต์ - สนับสนุนANDและORและNOTการดำเนินงาน เช่น. ((1 หรือ 2) และไม่ใช่ 7) ฉันยังต้องสามารถระบุการเรียงลำดับของผลลัพธ์ (Order1 หรือ Order2) และสามารถระบุแถวสูงสุดที่ส่งคืนพร้อมกับออฟเซ็ตเสริม ประสิทธิภาพสำหรับการดึงผลลัพธ์ 30-100 ครั้งแรกคือกุญแจสำคัญ ในที่สุดฉันต้องการวิธีที่ถูกในการค้นหา "ความสัมพันธ์ของแท็ก" ตัวอย่างเช่นฉันต้องการทราบว่าแท็กใดที่ "เกี่ยวข้อง" กับแท็ก (1 หรือ 2) และในความถี่ใด ความหมายแท็กใดที่ปรากฏในชุดเดียวกันกับ 1 …

11 ds.data-structures  application-of-theory  db.databases 

คำถามนี้ได้รับแรงบันดาลใจจากคำถามที่ถามในStackOverflow สมมติว่าคุณได้รับต้นไม้ราก (เช่นมีรากและโหนดมีลูกเป็นต้น) ในโหนดn (ติดป้าย1 , 2 , … , n )TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n แต่ละจุดสุดยอดมีน้ำหนักไม่ใช่จำนวนเต็มลบที่เกี่ยวข้อง: Wฉันiiiwiwiw_i นอกจากนี้คุณจะได้รับจำนวนเต็มเช่นว่า1 ≤ k ≤ nkkk1≤k≤n1≤k≤n1 \le k \le n น้ำหนักชุดของโหนดS ⊆ { 1 , 2 , ... , n }คือผลรวมของน้ำหนักของโหนดที่: Σ s ∈ S W sW(S)W(S)W(S)S⊆{1,2,…,n}S⊆{1,2,…,n}S \subseteq \{1,2,\dots, n\}∑s∈Sws∑s∈Sws\sum_{s \in S} w_s กำหนดอินพุต …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 graph-theory  co.combinatorics  big-list  application-of-theory 

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

11 graph-theory  application-of-theory  expanders 

JBV แนะนำให้ฉันเปลี่ยนความคิดเห็นให้เป็นคำถาม คำถามอื่น [1] ถามเกี่ยวกับแอปพลิเคชันของการคำนวณ QM คำตอบเดียว [2] คือ "การจำลองกลศาสตร์ควอนตัมอย่างมีประสิทธิภาพ" เห็นได้ชัดว่าความคิดนี้มีมาตั้งแต่สมัยที่เขียนเรื่องของไฟน์แมน แม้ว่าฉันจะไม่มีการอ้างอิง ดังนั้น: คำถาม. อะไรคือข้อพิสูจน์ว่าคอมพิวเตอร์ควอนตัมสามารถจำลองระบบกลไกควอนตัมโดยพลการได้อย่างมีประสิทธิภาพ? ในระดับหนึ่งดูเหมือนว่าพื้นฐาน อย่างไรก็ตามสิ่งนี้ดูเหมือนจะไม่สำคัญกับเหตุผลดังต่อไปนี้: วรรณคดีการคำนวณควอนตัมส่วนใหญ่ดูเหมือนว่าจะลดการดำเนินการบนประตูที่ทำหน้าที่ในสองอนุภาคหรือระบบย่อยขนาดเล็กอื่น ๆ (ใช่ประตู Toffoli ทำหน้าที่ 3 อินพุต แต่อย่างไรก็ตามมักจะถูกลดเหลือสองประตู CNOT) แน่นอนว่าไม่มีคำถามเนื่องจากความสมบูรณ์ของทัวริงคอมพิวเตอร์ควอนตัมสามารถจำลองฟิสิกส์ควอนตัมแบบดั้งเดิมหรือแบบควอนตัมตามอำเภอใจ (แม้ว่าอาจจะมีผู้ปฏิบัติงานบางคนเนื่องจากความไม่แน่นอนหลักเป็นต้น - ฉันอยากรู้เรื่องนี้ด้วย) แต่สำหรับผมแล้วการจำลองฟิสิกส์ควอนตัมของ Arbitary อย่างมีประสิทธิภาพอย่างน้อยก็ต้องการวิธีในการจำลองการปฏิสัมพันธ์n-wayโดยพลการในส่วนใหญ่ / เกือบ2ประตู เราอาจโต้แย้งได้ว่าเราสามารถสร้างประตูn-wayโดยใช้หลักฐานได้ แต่หลักฐานที่ชัดเจนหลังจากการวิจัยทดลองมาหลายปีก็คือแม้แต่ประตูสองทางที่ยากต่อการสร้างและประตูn-wayจะยากกว่ามาก (มีการทดลองควอนตัมแบบ 3 ทางบางอย่างเช่นความไม่เท่าเทียมกันของระฆังอนุภาค 3 อัน แต่มันยากที่จะสร้าง) [1] การใช้งาน จริงของการคำนวณควอนตัม (ยกเว้นเพื่อความปลอดภัย) [2] https://cstheory.stackexchange.com/a/10241/248

10 reference-request  quantum-computing  application-of-theory 

เรากำลังทำงานในคอมพิวเตอร์ที่มีการแจกจ่ายและเราพบปัญหาความซับซ้อนซึ่งจะช่วยลดปัญหาให้น้อยที่สุด ขณะนี้เราไม่ทราบวิธีการแก้ไข ปัญหาดังต่อไปนี้: ให้เป็นจำนวนเต็มและให้Z kเป็นกราฟที่มีk ( k + 1 )kkkZkZkZ_kจุดยอด เราป้ายแต่ละจุดสุดยอดกับคู่(ฉัน,J)ดังกล่าวที่1≤ฉัน≤เจ≤k ต่อจากนี้เราตั้งชื่อจุดยอดโดยใช้ป้ายกำกับ ชุดของขอบในZkถูกกำหนดดังนี้: {((i,j),(i′,j′))| ฉัน'>ฉัน∧J'≥ฉัน}k ( k + 1 )2k(k+1)2\frac{k(k+1)}{2}( i , j )(i,j)(i,j)1 ≤ ฉัน≤ j ≤ k1≤i≤j≤k1 \leq i \leq j \leq kZkZkZ_k{((i,j),(i′,j′))|i′>i∧j′≥i}{((i,j),(i′,j′))|i′>i∧j′≥i}\{ ((i,j),(i',j')) | i' >i \land j' \geq i \} เส้นทางที่ครอบคลุมน้อยที่สุดของคืออะไร?ZkZkZ_k การอ่าน "ปัญหาเกี่ยวกับเส้นทางบนในกราฟและแอปพลิเคชันสำหรับการทดสอบโปรแกรม" โดย Ntafos และคณะ …

10 graph-theory  co.combinatorics  application-of-theory