ICALP: Accepted Papers

ICALP/PODC/SPAA 2026
#ComputationalComplexity lecture was today in #Algorithms. One of my favorite of the year, but I think I can teach it better next time.

POV: you need a break from your vacation so you attend a seminar about a cool new paper at your old university. ๐Ÿค“

paper: https://dl.acm.org/doi/10.1145/3776643

preprint: https://arxiv.org/abs/2505.05162

#AcademicChatter #AcademicMastodon #ProfessorLife #LatourOnTour #ComputationalComplexity #Concurrency #ComputerScience

[Show GN: ManiSurve โ€“ 10,000๊ฐœ ๋…ธ๋“œ NP ๋ฌธ์ œ๋ฅผ 0.09์ดˆ ๋งŒ์— ํ•ด๊ฒฐํ•˜๋Š” ๋‹คํ•ญ ์‹œ๊ฐ„ ์—”์ง„

ManiSurve v1.5๋Š” NP-Complete ๋ฌธ์ œ๋ฅผ ๋‹คํ•ญ ์‹œ๊ฐ„(P) ๋‚ด์— ํ•ด๊ฒฐํ•˜๋Š” ์ƒˆ๋กœ์šด ์—”์ง„์œผ๋กœ, 10,000๊ฐœ ๋…ธ๋“œ์™€ 50,000๊ฐœ ๊ฐ„์„ ์„ ๊ฐ€์ง„ ๊ทธ๋ž˜ํ”„ ์ปฌ๋Ÿฌ๋ง ๋ฌธ์ œ๋ฅผ 0.09์ดˆ ๋งŒ์— ํ•ด๊ฒฐํ–ˆ์Šต๋‹ˆ๋‹ค. ์ด์‚ฐ์  ์ถฉ๋Œ์„ ๋ฆฌ๋งŒ ๋‹ค์–‘์ฒด ์œ„์˜ ์—ฐ์†์ ์ธ ๊ณก๋ฅ ๋กœ ํ•ด์„ํ•˜์—ฌ ์ง€์ˆ˜ ์‹œ๊ฐ„์˜ ๋ฒฝ์„ ๊นจ๋Š” ๋กœ์ง์„ ์‚ฌ์šฉํ–ˆ์Šต๋‹ˆ๋‹ค. ๊ฐœ๋ฐœ์ž๋Š” ์ดˆ๋ณด ์—ฐ๊ตฌ์ž๋กœ์„œ ์ปค๋ฎค๋‹ˆํ‹ฐ์˜ ํ”ผ๋“œ๋ฐฑ์„ ์š”์ฒญํ•˜๋ฉฐ, GitHub์— ์ฝ”๋“œ๋ฅผ ๊ณต๊ฐœํ–ˆ์Šต๋‹ˆ๋‹ค.

https://news.hada.io/topic?id=27084

#npcomplete #algorithm #graphcoloring #manisurve #computationalcomplexity

Show GN: ManiSurve โ€“ 10,000๊ฐœ ๋…ธ๋“œ NP ๋ฌธ์ œ๋ฅผ 0.09์ดˆ ๋งŒ์— ํ•ด๊ฒฐํ•˜๋Š” ๋‹คํ•ญ ์‹œ๊ฐ„ ์—”์ง„

<p>์ง์ ‘ ๊ฐœ๋ฐœํ•œ NP-Complete ๋ฌธ์ œ ํ•ด๊ฒฐ ์—”์ง„ ManiSurve v1.5๋ฅผ ๊ณต๊ฐœํ•ฉ๋‹ˆ๋‹ค.</p> <p>๋ณธ์ธ์€ ์•„์ง ์ˆ˜ํ•™์ด๋ž‘ ๊ฐœ๋ฐœ ๋ถ„์•ผ์— ์ˆ™๋ จ๋˜์ง€ ์•Š์•˜๊ธฐ ๋•Œ๋ฌธ์— ํ‹€...

GeekNews

To those who are interested in the 1984 entries:

On page 633 they discuss the development of interior point methods, following the work of Narendra Karmarkar in 1984, page 810 contains the associated bibliography entry, and page 811 contains the bibliography entry for the English translation of Levin's paper on Universal Search Problems.

I don't know why 1984 is the only year with an index entry. I can only assume it's an Easter egg.

#Search #ComputationalComplexity #1984 #Algorithms #ProfessorLife #EasterEgg #AcademicMastodon #AcademicChatter

๐ŸŽ‰ #Racket v9.0: Because clearly, the world was clamoring for yet another way to thread those needles of computational complexity! ๐Ÿ’ก Now with *parallel threads*, they promise to revolutionize... exactly what their previous efforts already claimed to do. ๐Ÿ™„ Isn't #innovation grand when you can reintroduce the same concept with shiny new buzzwords? ๐Ÿš€
https://blog.racket-lang.org/2025/11/racket-v9-0.html #v9.0 #ComputationalComplexity #ParallelThreads #TechNews #HackerNews #ngated
Racket v9.0

_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. **Racket 9.0 is here!** A major release is always exciting and Racket 9.0 is no exception in that it intr...

On Monday, November 17, at 3:30pm ET, I get to give the next VCGT talk on the computational complexity of the game #BattleSheep: https://sites.google.com/view/virtual-cgt/seminar

Abstract: Battle Sheep is a board game published by Blue Orange Games where players take turns moving stacks of sheep tokens around a hexagonal board, always leaving at least one sheep behind. In this talk we'll learn the basics of the game, play once, and finally show that determining the winnability of the game is PSPACE-complete. This talk assumes no prior knowledge of computational complexity.

#CombinatorialGames #ComputationalComplexity #PSPACE

Virtual CGT

The seminar started after the Virtual Combinatorial Games Workshop in June 2020. There will be a mix of research talks, tutorials, and coffee meetings. If you wish to attend, please contact Melissa Huggan (email address at the bottom) to be added to the email list for the video call link.

๐Ÿ’กThe real reason we "need" SIMD? Because apparently, more #performance is the antidote to all life's problems, according to Nicholas Wilt's love letter to computational complexity. ๐Ÿ› ๏ธ Meanwhile, the rest of us are still trying to figure out why our computers crash every time we open a spreadsheet. ๐Ÿคทโ€โ™‚๏ธ
https://parallelprogrammer.substack.com/p/why-we-need-simd-the-real-reason #SIMD #computationalcomplexity #techissues #computercrash #spreadsheetwoes #HackerNews #ngated
Why We Need SIMD (The Real Reason)

tl/dr: it can deliver big performance speedups at modest area cost

The Parallel Programmer
Computational Complexity Of Neural Networks