Search Results: SIGACT
Перенаправление на:
ACM SIGACT
Kamis, 2025-08-21 17:01:05SIGACT (англ. Special Interest Group on Algorithms and Computation Theory — «Специальная группа по алгоритмам и теории вычисления ассоциации вычислительной...
Click to read more »Премия Гёделя
Jumat, 2026-02-06 13:22:46вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, (Special Interest Group on Algorithms and Computation Theory) и EATCS,...
Click to read more »NP-полная задача
Sabtu, 2025-11-15 18:16:30Кубик-змейка Равенство классов P и NP William I. Gasarch. The P=?NP poll. // SIGACT News. — 2002. — Т. 33, № 2. — С. 34—47. — doi:10.1145/1052796.1052804. Архивировано...
Click to read more »Квантовое распределение ключей
Minggu, 2020-11-15 15:22:14научными. Однако в 1983 году его работа «Conjugate coding» была опубликована в Sigact News и получила высокую оценку в научных кругах. Квантовая передача включает...
Click to read more »Равенство классов P и NP
Selasa, 2026-07-28 02:58:41Архивировано 10 октября 2017 года. William I. Gasarch. The P=?NP poll (англ.) // SIGACT News. — 2002. — Vol. 33, no. 2. — P. 34—47. — doi:10.1145/1052796.1052804...
Click to read more »Теорема CAP
Senin, 2026-07-27 22:46:45Freedom: Thoughts on the CAP Theorem (англ.) // Proceeding of the XXIX ACM SIGACT-SIGOPS symposium on Principles of distributed computing. — New York: ACM...
Click to read more »«O» большое и «o» малое
Selasa, 2026-02-10 04:41:54Knuth. Big Omicron and big Omega and big Theta (англ.) : Article. — ACM Sigact News, 1976. — Vol. 8, no. 2. — P. 18—24. Архивировано 15 августа 2016 года...
Click to read more »Временная сложность алгоритма
Senin, 2026-05-25 20:11:101137/S0097539794270698. Ravi Kumar, Ronitt Rubinfeld. Sublinear time algorithms // SIGACT News. — 2003. — Т. 34, вып. 4. — С. 57—67. — doi:10.1145/954092.954103....
Click to read more »Класс NP
Sabtu, 2026-02-07 16:12:57(математика) Равенство классов P и NP William I. Gasarch. The P=?NP poll. // SIGACT News. — 2002. — Т. 33, № 2. — С. 34—47. — doi:10.1145/1052796.1052804. Архивировано...
Click to read more »Теория графов
Kamis, 2026-07-30 01:38:09978-1-58488-090-5. P. 35. Frank Harary. Биографический очерк на сайте ACM SIGACT от 4 января 2005 года. Dénes König. Theorie der endlichen und unendlichen...
Click to read more »Омикрон
Sabtu, 2025-08-23 13:24:21Omega and big Theta Архивная копия от 30 ноября 2021 на Wayback Machine», SIGACT News, Apr.-June 1976, 18-24. Ο на сайте Scriptsource.org (англ.) ο на сайте...
Click to read more »Теоретическая информатика
Minggu, 2025-08-31 20:44:28технических системах). Не просто точно описать рамки данной теории. ACM SIGACT (англ. Association for Computing Machinery Special Interest Group on Algorithms...
Click to read more »Ассоциация вычислительной техники
Selasa, 2026-07-28 04:05:02которых и ведётся основная деятельность. Некоторые тематические группы: SIGACT — теория алгоритмов и вычислений; SIGAI[англ.] — искусственный интеллект;...
Click to read more »Премия Канеллакиса
Rabu, 2025-11-05 02:48:42субсидируемая родителями Канеллакиса, и несколькими тематическими группами ACM (SIGACT, SIGDA[англ.], SIGMOD и SIGPLAN[англ.]) и индивидуальные спонсоры. Paris...
Click to read more »NP-трудность
Rabu, 2025-07-16 17:28:470262720140. Knuth, Donald (1974). Postscript about NP-hard problems. ACM SIGACT News. 6 (2): 15—16. doi:10.1145/1008304.1008305. Shtetl-Optimized » Blog...
Click to read more »Линейная логика
Jumat, 2025-07-18 16:11:16175—185. — 208 с. — ISBN 5-89176-247-1. Patrick Lincoln. Linear logic // ACM SIGACT News. — 1992. — Т. 23, № 2 (май). Emmanuel Beffara. Introduction to linear...
Click to read more »BB84
Selasa, 2025-08-05 03:43:13Public Key Distribution and Coin Tossing (англ.) // ACM SIGACT News — New York City: ACM, SIGACT, 1987. — Vol. 18, Iss. 4. — P. 51—53. — ISSN 0163-5700;...
Click to read more »Квантовые деньги
Rabu, 2025-07-16 18:19:171983 году работа Визнера «Сопряжённое кодирование» была опубликована в SIGACT News[англ.] и получила высокую оценку в научных кругах. Квантовые деньги...
Click to read more »NoSQL
Senin, 2026-04-06 17:13:52Freedom: Thoughts on the CAP Theorem (англ.) // Proceeding of the IXXX ACM SIGACT-SIGOPS symposium on Principles of distributed computing. — New York: ACM...
Click to read more »99 бутылок пива
Kamis, 2026-01-08 07:20:01стр. — С. 44. ISBN 978-5-699-54574-2 Knuth, D. «The Complexity of Songs», SIGACT News, Summer 1977, 17—24. Reprinted in: Knuth, D. «The Complexity of Songs»...
Click to read more »Консенсус в распределённых вычислениях
Kamis, 2025-08-21 17:05:56multiplicative power of consensus numbers (PDF). Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. Association for...
Click to read more »F*
Rabu, 2025-06-04 19:43:25Aseem; Swamy, Nikhil (2017). Dijkstra Monads for Free. 44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Swamy, Nikhil; Hriţcu...
Click to read more »Доказательство с нулевым разглашением
Selasa, 2026-08-04 14:08:41198—205. Goldwasser, Micali and Rackoff Receive Gödel Prize in 1993 . ACM Sigact (1993). Архивировано из оригинала 8 декабря 2015 года. Goldwasser, Micali...
Click to read more »Регев, Одед
Kamis, 2026-03-26 14:49:37Stephens-Davidowitz, Noah (2017), A reverse Minkowski theorem, Annual ACM SIGACT Symposium on Theory of Computing, Montreal, Quebec, Canada, pp. 941—953...
Click to read more »Теория сложности вычислений
Sabtu, 2025-11-15 20:12:08моделями компьютера. Gasarch W.I. «The P=?NP poll.» / William I. Gasarch SIGACT News. Volume 33. — 2002 — С. — Режим доступу: http://www.cs.umd.edu/~gasarch/papers/poll...
Click to read more »Journal of Graph Theory
Minggu, 2025-12-28 11:57:52математическое общество. — С. J15. Фрэнк Харари, краткая биография на сайте ACM SIGACT Journal of Graph Theory // 2020 Journal Citation Reports. — Science. — Thomson...
Click to read more »Вигдерзон, Ави
Jumat, 2026-06-05 02:09:53обращения: 10 июля 2019. Архивировано 24 марта 2019 года. ACM SIGACT - Knuth Prize . www.sigact.org. Дата обращения: 3 апреля 2019. Архивировано 2 апреля...
Click to read more »Скиена, Стивен
Kamis, 2026-06-11 12:43:45(2014), ACM SIGACT News 45 (2): 40–42, doi:10.1145/2636805.2636817. Review of The Algorithm Design Manual: Neelakantan Kartha (2011), ACM SIGACT News 42 (4):...
Click to read more »Моррис, Джеймс Хирам
Kamis, 2026-02-19 05:56:38Henderson, James H. Morris. A lazy evaluator // Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76. — New...
Click to read more »Арифметика Пресбургера
Sabtu, 2025-11-15 18:39:28simplifier based on efficient decision algorithms" (англ.) // Proc. 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages : journal. — Apr...
Click to read more »Программная транзакционная память
Rabu, 2025-09-03 10:16:17Dynamic-Sized Data Structures. Proceedings of the Twenty-Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing[англ.] (PODC), 92-101...
Click to read more »STS (протокол)
Minggu, 2026-05-24 18:50:04Douglas R. Stinson. Review of Cryptography: theory and practice // ACM SIGACT News : Newsletter. — 2003. — № 34. — С. 22-25. — ISSN 0163-5700. — doi:10...
Click to read more »Клу
Kamis, 2026-03-26 03:42:25Iterators (англ.) // POPL ’06 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. — New York: ACM, 2006...
Click to read more »Самодополнительный граф
Rabu, 2025-09-03 10:20:50Charles J. Colbourn. Graph isomorphism and self-complementary graphs // SIGACT News. — 1978. — Т. 10, вып. 1. — С. 25—29. — doi:10.1145/1008605.1008608...
Click to read more »Параметрический полиморфизм
Minggu, 2026-07-26 11:34:54Polymorphic Record Calculi // POPL: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,. — Kyoto University, ACM...
Click to read more »Квантовые вычисления со времён Демокрита
Rabu, 2025-08-13 13:43:51Green. Review quantum computing since democritus by Scott Aaronson // ACM SIGACT News. — 2013-12-10. — Т. 44, вып. 4. — С. 42–47. — ISSN 0163-5700. — doi:10...
Click to read more »Премия Кнута
Sabtu, 2025-11-15 19:03:17Организаторами премии являются организации ACM и IEEE, а точнее группы интересов ACM SIGACT (Special Interest Group on Algorithms and Computing Theory) и IEEE TCMFC...
Click to read more »Трекл
Rabu, 2025-09-03 10:30:13обсуждена в статье J. O'Rourke[англ.]. Computational geometry column 26 // ACM SIGACT News. — 1995. — Т. 26, вып. 2. — С. 15–17. — doi:10.1145/202840.202842....
Click to read more »Управление памятью на основе регионов
Kamis, 2026-06-25 04:06:48dynamically allocated objects. POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM...
Click to read more »Экзистенциальная теория вещественных чисел
Rabu, 2025-09-03 10:36:571007/978-3-642-11805-0_32. Jean Cardinal. Computational geometry column 62 // SIGACT News. — 2015. — Декабрь (т. 46, вып. 4). — С. 69—78. — doi:10.1145/2852040...
Click to read more »Локальная лемма Ловаса
Jumat, 2026-07-10 09:47:06обращения: 20 апреля 2020. Архивировано 31 октября 2021 года. ACM SIGACT - Gödel Prize . sigact.org. Дата обращения: 20 апреля 2020. Архивировано 9 января 2020...
Click to read more »Оценка сложности песен
Rabu, 2022-03-23 10:35:37сложностью, которую даёт значение c=1. Knuth, D. «The Complexity of Songs», SIGACT News, Summer 1977, 17—24. Reprinted in: Knuth, D. «The Complexity of Songs»...
Click to read more »Обобщённый алгебраический тип данных
Sabtu, 2026-07-25 23:30:34Recursive Datatype Constructors (англ.) // Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'03). — ACM Press...
Click to read more »Тардош, Эва
Senin, 2025-08-25 13:09:3220 ноября 2017 года. ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet Use . ACM SIGACT (16 мая 2012). Дата обращения:...
Click to read more »Дифференциальная приватность
Rabu, 2025-11-05 02:42:31while preserving privacy // Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS '03). — ACM, New...
Click to read more »Завистливое разрезание торта
Rabu, 2026-01-14 17:39:11cutting protocol for four agents // Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing – STOC 2016. — 2016. — ISBN 9781450341325...
Click to read more »Portable C Compiler
Kamis, 2026-03-12 02:45:26A portable compiler: theory and practice . Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. Tucson, Arizona...
Click to read more »Ушная декомпозиция
Minggu, 2025-10-26 14:45:49Raton)). — ISBN 978-1-58488-505-4. Samir Khuller. Ear decompositions // SIGACT News. — 1989. — Т. 20, вып. 1. — С. 128. László Lovász. A note on factor-critical...
Click to read more »Схема обязательства
Rabu, 2024-12-04 20:21:24flipping by telephone a protocol for solving impossible problems // ACM SIGACT News. — 1983. — Т. 15, вып. 1. — С. 23–27. — ISSN 0163-5700. — doi:10.1145/1008908...
Click to read more »Слабоструктурированные данные
Rabu, 2025-07-16 18:15:42копия от 13 мая 2013 на Wayback Machine, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.117-121, May...
Click to read more »Джонсонбо, Ричард
Jumat, 2025-07-18 16:56:05Dasgupta, Christos Papadimitriou and Umesh Vazirani (McGraw-Hill, 008) // ACM SIGACT News. — 2009-06-20. — Т. 40, вып. 2. — С. 23–25. — ISSN 0163-5700. — doi:10...
Click to read more »Минимизация ДКА
Jumat, 2025-07-18 16:01:21Introduction to automata theory, languages, and computation, 2nd edition // ACM SIGACT News. — 2001-03-01. — Т. 32, вып. 1. — С. 60. — ISSN 0163-5700. — doi:10...
Click to read more »Миллер, Гари (информатик)
Sabtu, 2025-11-15 20:30:27acm.org Архивная копия от 24 марта 2019 на Wayback Machine (англ.) ACM SIGACT — Knuth Prize Архивная копия от 2 апреля 2019 на Wayback Machine (англ.)...
Click to read more »Поточный алгоритм
Minggu, 2026-08-16 05:44:26distinct elements problem», Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '10, New York,...
Click to read more »Линеаризуемость
Selasa, 2026-03-03 07:48:10M. Herlihy и J. Wing, «Axioms for Concurrent Objects», Труды 14-го ACM SIGACT-SIGPLAN симпозиума по Принципам языков программирования (Январь 1987), стр...
Click to read more »Штрассен, Фолькер
Minggu, 2025-10-26 14:43:52efficient algorithms Архивная копия от 14 мая 2016 на Wayback Machine, ACM SIGACT. Winter, Cornelia (28 сентября 2011), Konrad-Zuse-Medaille für Informatik...
Click to read more »Холиэдр
Senin, 2023-12-25 08:31:52Demaine, Erik D.; O'Rourke, Joseph. Computational geometry column 37 // ACM SIGACT News. — 1999. — Сентябрь (т. 30, № 3). — С. 39—42. — doi:10.1145/333623...
Click to read more »Алгоритмическая локальная лемма Ловаса
Jumat, 2025-07-18 16:04:43обращения: 20 апреля 2020. Архивировано 31 октября 2021 года. ACM SIGACT - Gödel Prize . sigact.org. Дата обращения: 20 апреля 2020. Архивировано 9 января 2020...
Click to read more »Принцесса и чудовище
Senin, 2025-10-13 20:01:19Chrobak. A princess swimming in the fog looking for a monster cow // ACM SIGACT News. — 2004. — Vol. 35. — Вып. 2. — С. 74—78. — doi:10.1145/992287.992304...
Click to read more »Миллер, Виктор (математик)
Kamis, 2025-06-12 08:40:501993 года он работает в CCR. С 1984 по 1987 год он был редактором новостей SIGACT. Основные интересы — вычислительная теория чисел, комбинаторика, сжатие...
Click to read more »Логика разделения
Kamis, 2026-03-26 11:25:40and Abstraction (англ.) // POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Long Beach, CA, USA January...
Click to read more »SIGMOD
Rabu, 2025-09-03 00:49:15(англ. PODS), соорганизуемым SIGMOD с двумя другими тематическим группами — SIGACT и SIGART[англ.], группа мероприятий обозначается как «SIGMOD/PODS» Группа...
Click to read more »Сегментация изображений на основе минимального остовного дерева
Rabu, 2025-09-03 10:21:09Potential-Based Amortized Analysis of the Union-Find Data Structure // SIGACT. — 2000. — Сентябрь (т. 31). Wassenberg J., Middelmann W., Sanders P. An...
Click to read more »Уильямс, Райан
Kamis, 2026-07-02 10:44:45мая 2024 года. Meyerson, Adam. Proceedings of the Twenty-Third ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '04) / Adam Meyerson...
Click to read more »Моджи, Эудженио
Sabtu, 2025-11-15 21:42:04modules and the phase distinction (Proceedings of the 17th ACM SIGPLAN-SIGACT symposium) Constructive natural deduction and its ‘ω-set’interpretation...
Click to read more »Гипотеза Аандераа — Карпа — Розенберга
Rabu, 2026-06-24 06:55:14Rosenberg. On the time required to recognize properties of graphs: a problem // SIGACT News. — 1973. — Т. 5, вып. 4. — С. 15–16. — doi:10.1145/1008299.1008302...
Click to read more »Игра на поиск
Rabu, 2025-09-03 09:54:38Chrobak M. A princess swimming in the fog looking for a monster cow // ACM Sigact news. — 2004. — Т. 35, вып. 2. Kao M.Y., Reif J.H., Tate S.R. Searching...
Click to read more »Липтон, Ричард
Sabtu, 2025-11-15 21:35:27Prize . Дата обращения: 10 июля 2019. Архивировано 10 июля 2019 года. ACM SIGACT — Knuth Prize . Дата обращения: 10 июля 2019. Архивировано 2 апреля 2019...
Click to read more »Квантовое разделение секрета
Kamis, 2025-08-21 17:06:4714 декабря 2021. Wiesner, Stephen (Январь 1983). Conjugate coding. ACM SIGACT News. 15 (1): 78—88. doi:10.1145/1008908.1008920. Архивировано 4 декабря...
Click to read more »Теорема Курселя
Jumat, 2026-02-06 04:06:01Madhusudan, Gennaro Parlato. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11). — 2011. — Т...
Click to read more »Робертс, Фред Стивен
Jumat, 2025-08-15 20:46:142007. Он также редактировал примерно 20 томов Робертс получил приз ACM SIGACT в 1999. В 2001 он выиграл Science and Technology Centers Pioneer награду...
Click to read more »Дворк, Синтия
Kamis, 2026-04-02 15:23:16обращения: 21 июля 2018. Архивировано 21 июля 2018 года. ACM SIGACT - Knuth Prize . www.sigact.org. Дата обращения: 11 сентября 2020. Архивировано 11 августа...
Click to read more »Бета-остов
Jumat, 2025-08-29 03:18:26Pattern Recognition).. Joseph O'Rourke. Computational Geometry Column 38 // SIGACT News. — 2000. — Т. 31, вып. 1. — С. 28–30. — doi:10.1145/346048.346050. —...
Click to read more »Квантовое подбрасывание монеты
Jumat, 2025-05-16 06:08:41Coin flipping by telephone a protocol for solving impossible problems. ACM SIGACT News. 15 (1): 23—27. doi:10.1145/1008908.1008911. ISSN 0163-5700. Oded....
Click to read more »Шарнирная равносоставленность
Rabu, 2025-11-05 02:52:38Society, 2008. Joseph O'Rourke. Computational Geometry Column 50 // ACM SIGACT News. — ACM, 2008. — Т. 39, вып. 1. Timothy G. Abbot, Zachary Abel, David...
Click to read more »Универсальное множество точек
Rabu, 2025-09-03 10:31:37Karloff. A lower bound on the size of universal sets for planar graphs // SIGACT News. — 1989. — Т. 20. — С. 83–86. — doi:10.1145/74074.74088. Hubert de...
Click to read more »Каннан, Равиндран
Kamis, 2025-08-21 16:59:14Machinery).. Группа особых интересов АСМ с алгоритмов и теории вычислений (SIGACT) представила в 2011 году свою премию Кнут Рави Каннану для разработки влиятельных...
Click to read more »Задача разделения строк
Senin, 2026-05-11 07:41:59Separating words and trace reconstruction // Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. — New York, NY, USA: Association for Computing...
Click to read more »