คำถามติดแท็ก parallel-computing

เรานำเสนอในชั้นเรียนพร้อมอัลกอริทึมสำหรับการค้นหาสูงสุดในอาเรย์แบบขนานในความซับซ้อนของเวลากับคอมพิวเตอร์n 2O(1)O(1)O(1)n2n2n^2 อัลกอริทึมคือ: รับอาร์เรย์ A ของความยาว n: สร้างอาร์เรย์แฟล็ก B ที่มีความยาว n และกำหนดค่าเริ่มต้นด้วยเลขศูนย์ด้วยคอมพิวเตอร์nnn เปรียบเทียบทุกองค์ประกอบ 2 และเขียน 1 ใน B ที่ดัชนีขั้นต่ำกับคอมพิวเตอร์n2n2n^2 ค้นหาดัชนีด้วย 0 ใน A ด้วยคอมพิวเตอร์nnn อาจารย์บรรยายให้พวกเราเห็นว่าทำได้ด้วยคอมพิวเตอร์และมีการบันทึกnซับซ้อนเวลาnlognnlog⁡n\frac{n}{\log n}lognlog⁡n\log n หลังจากคิดมากฉันไม่สามารถหาวิธีทำได้ ความคิดใด ๆ

11 algorithms  search-algorithms  parallel-computing 

ในขณะที่พยายามปรับปรุงประสิทธิภาพของคลาสการตรวจหาการชนกันของฉันฉันพบว่า ~ 80% ของเวลาที่ใช้ไปกับ gpu มันใช้กับเงื่อนไขอื่น ๆ ที่พยายามหาขอบเขตของถังที่มันควรวนผ่าน อย่างแม่นยำมากขึ้น: แต่ละเธรดจะได้รับ ID โดย ID นั้นจะดึงสามเหลี่ยมจากหน่วยความจำ (3 จำนวนเต็มแต่ละรายการ) และโดย 3 นั้นจะดึงจุดยอดของมัน (3 ลอยแต่ละ) จากนั้นจะแปลงจุดยอดเป็นจุดกริดจำนวนเต็ม (ปัจจุบัน 8x8x8) และแปลงให้เป็นขอบเขตสามเหลี่ยมบนกริดนั้น ในการแปลง 3 คะแนนเป็นขอบเขตจะพบ min / max ของแต่ละมิติในแต่ละจุด เนื่องจากภาษาการเขียนโปรแกรมที่ฉันใช้นั้นขาด minmax ที่แท้จริงฉันจึงสร้างมันขึ้นมาตัวเองมีลักษณะดังนี้: procedure MinMax(a, b, c): local min, max if a > b: max = a min …

10 computer-architecture  parallel-computing 

ในการพิสูจน์และประเภทของ Girard เราสามารถอ่านได้: จากมุมมองอัลกอริทึมแคลคูลัสที่เรียงตามลำดับไม่มีมอร์ฟิซึ่มแกงกะหรี่ - ฮาวเวิร์ดเพราะมีวิธีการมากมายในการเขียนข้อพิสูจน์เดียวกัน สิ่งนี้ป้องกันเราจากการใช้งานเป็นแบบพิมพ์λλ\lambda- แคลคูลัสแม้ว่าเราจะเห็นโครงสร้างที่ลึกของชนิดนี้ แต่อาจเชื่อมโยงกับการขนาน หลักฐานและประเภท , JY Girard (หน้า 28) แต่เรายังสามารถอ่าน (เกี่ยวกับ Linear Logic) ได้ว่า จากมุมมองของวิทยาศาสตร์คอมพิวเตอร์มันให้แนวทางใหม่สำหรับคำถามเกี่ยวกับความเกียจคร้านผลข้างเคียงและการจัดสรรหน่วยความจำ [GirLaf, Laf87, Laf88] ด้วยแอพพลิเคชั่นที่น่าเชื่อถือเพื่อการขนาน หลักฐานและประเภท , JY Girard (หน้า 149, เขียนโดย Yves Lafont) โปรแกรมคู่ขนานเชื่อมโยงกับ Curry-Howard isomorphism อย่างไร สิ่งที่เป็นความคิดในปัจจุบันเกี่ยวกับที่?

9 reference-request  logic  parallel-computing 

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

9 parallel-computing  artificial-intelligence  neural-networks 

สมมติว่าเราต้องการเข้าร่วมความสัมพันธ์สองเรื่องในภาคแสดง อยู่ใน NC หรือเปล่า ฉันรู้ว่าการพิสูจน์ว่ามันไม่ได้อยู่ในอร์ทแคโรไลนาก็เท่ากับการพิสูจน์ว่าดังนั้นฉันจึงยอมรับหลักฐานว่ามันเป็นปัญหาแบบเปิดเป็นคำตอบP≠NCP≠NCP\not=NC ฉันสนใจกรณีทั่วไปและกรณีเฉพาะ (เช่นอาจมีโครงสร้างข้อมูลเฉพาะบางอย่างที่สามารถขนานกันได้) แก้ไข: เพื่อนำคำชี้แจงบางอย่างจากความคิดเห็นมาไว้ในโพสต์นี้: เราสามารถพิจารณา equijoin A.x=B.yA.x=B.yA.x = B.yโดย ในโปรเซสเซอร์เดียวอัลกอริทึมแบบแฮชจะทำงานในO(|A|+|B|)O(|A|+|B|)O(|A|+|B|)และนี่คือวิธีที่ดีที่สุดที่เราสามารถทำได้เนื่องจากเราต้องอ่านแต่ละชุด ถ้าภาคแสดงเป็น "กล่องดำ" ที่เราต้องตรวจสอบแต่ละคู่จะมีคู่และแต่ละคนสามารถอยู่ในหรือไม่ดังนั้นความเป็นไปได้ การตรวจสอบแต่ละคู่แบ่งความเป็นไปได้ในช่วงครึ่งดังนั้นดีที่สุดที่เราสามารถทำได้คือ(AB)|A|⋅|B||A|⋅|B||A|\cdot|B|2ab2ab2^{ab}O(ab)O(ab)O(ab) สามารถเข้าร่วม (หรือประเภทที่สามบางส่วน) เหล่านี้เพื่อปรับปรุงเป็นในโปรเซสเซอร์หลายตัวได้หรือไม่?logknlogk⁡n\log^k n

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity