Вклад участника

(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)

• 08:52, 14 апреля 2023 (разн. | история) . . (+43)‎ . . Н ГДП/GT8 ‎ (Новая страница: «File:GT8_2023-04-14_11-52-12_image0.png») (текущая)
• 08:52, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT8 2023-04-14 11-52-12 image0.png ‎ (MsUpload) (текущая)
• 08:51, 14 апреля 2023 (разн. | история) . . (+43)‎ . . Н ГДП/GT7 ‎ (Новая страница: «File:GT7_2023-04-14_11-51-10_image0.png») (текущая)
• 08:51, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT7 2023-04-14 11-51-10 image0.png ‎ (MsUpload) (текущая)
• 08:45, 14 апреля 2023 (разн. | история) . . (+43)‎ . . Н ГДП/GT5 ‎ (Новая страница: «File:GT5_2023-04-14_11-45-31_image0.png») (текущая)
• 08:45, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT5 2023-04-14 11-45-31 image0.png ‎ (MsUpload) (текущая)
• 08:44, 14 апреля 2023 (разн. | история) . . (+87)‎ . . Н ГДП/GT4 ‎ (Новая страница: «File:GT4_2023-04-14_11-44-04_image0.png File:GT4_2023-04-14_11-44-21_image0.png») (текущая)
• 08:44, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT4 2023-04-14 11-44-04 image0.png ‎ (MsUpload) (текущая)
• 08:44, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT4 2023-04-14 11-44-21 image0.png ‎ (MsUpload) (текущая)
• 08:42, 14 апреля 2023 (разн. | история) . . (+43)‎ . . Н ГДП/GT3 ‎ (Новая страница: «File:GT3_2023-04-14_11-42-39_image0.png») (текущая)
• 08:42, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT3 2023-04-14 11-42-39 image0.png ‎ (MsUpload) (текущая)
• 08:40, 14 апреля 2023 (разн. | история) . . (+87)‎ . . Н ГДП/GT2 ‎ (Новая страница: «File:GT2_2023-04-14_11-40-17_image0.png File:GT2_2023-04-14_11-40-35_image0.png») (текущая)
• 08:40, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT2 2023-04-14 11-40-17 image0.png ‎ (MsUpload) (текущая)
• 08:40, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT2 2023-04-14 11-40-35 image0.png ‎ (MsUpload) (текущая)
• 08:38, 14 апреля 2023 (разн. | история) . . (+50)‎ . . Н ГДП/GT1 ‎ (Новая страница: «center») (текущая)
• 08:38, 14 апреля 2023 (разн. | история) . . (0)‎ . . Н Файл:GT1 2023-04-14 11-38-17 image0.png ‎ (MsUpload) (текущая)
• 08:37, 14 апреля 2023 (разн. | история) . . (+19)‎ . . Шаблон:GDCode ‎ (текущая)
• 07:55, 14 апреля 2023 (разн. | история) . . (+953)‎ . . Н Hardprob/Minimum Local Register Allocation ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор инструкций, формирующих некий блое без перех…»)
• 07:50, 14 апреля 2023 (разн. | история) . . (-16)‎ . . Hardprob/Minimum Register Sufficiency ‎
• 07:48, 14 апреля 2023 (разн. | история) . . (0)‎ . . м Hardprob/Minimum Register Sufficiency ‎ (StasFomin переименовал страницу Hardprob/ Minimum Register Sufficiency в Hardprob/Minimum Register Sufficiency без оставления перенаправления)
• 07:47, 14 апреля 2023 (разн. | история) . . (+1338)‎ . . Н Hardprob/Minimum Register Sufficiency ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Направленный ациклический граф <m>G=\left(V,A\right)</m> * Най…»)
• 00:23, 14 апреля 2023 (разн. | история) . . (+895)‎ . . Н Hardprob/Minimum Permutation Group Base ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Группа <em>G</em> перестановок из <em>n</em> символов. * Най…»)
• 00:18, 14 апреля 2023 (разн. | история) . . (-1)‎ . . Hardprob/Minimum Locally Testable Automaton Order ‎ (текущая)
• 00:17, 14 апреля 2023 (разн. | история) . . (+1128)‎ . . Н Hardprob/Minimum Locally Testable Automaton Order ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Локально тестируемый язык <em>L</em>, т.е. некий язык <em>L…»)
• 00:09, 14 апреля 2023 (разн. | история) . . (+888)‎ . . Н Hardprob/Shortest Computation ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Недетерминированная машина Тьюринга <em>M</em>, двоичн…») (текущая)
• 00:06, 14 апреля 2023 (разн. | история) . . (+890)‎ . . Н Hardprob/Longest Computation ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Недетерминированная машина Тьюринга <em>M</em>, двоичн…») (текущая)
• 23:59, 13 апреля 2023 (разн. | история) . . (+852)‎ . . Н Hardprob/Minimum Consistent Finite Automaton ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Два конечных множества <em>P, N</em> двоичных строк. * На…») (текущая)
• 23:54, 13 апреля 2023 (разн. | история) . . (+1242)‎ . . Н Hardprob/Maximum Renamable Horn Subformula ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ск…»)
• 23:41, 13 апреля 2023 (разн. | история) . . (+1062)‎ . . Н Hardprob/Maximum Horn Core ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>M</em> — набор булевых значений для <em>n</em> переменн…»)
• 23:30, 13 апреля 2023 (разн. | история) . . (+45)‎ . . Hardprob/Minimum Length Equivalent Frege Proof ‎ (текущая)
• 23:27, 13 апреля 2023 (разн. | история) . . (+874)‎ . . Н Hardprob/Minimum Length Equivalent Frege Proof ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Доказательство Фреге <em>π</em> для некоторой тавтого…»)
• 23:20, 13 апреля 2023 (разн. | история) . . (0)‎ . . Hardprob/Maximum K-Constraint Satisfaction ‎ (текущая)
• 23:18, 13 апреля 2023 (разн. | история) . . (+848)‎ . . Н Hardprob/Maximum K-Constraint Satisfaction ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ко…»)
• 23:12, 13 апреля 2023 (разн. | история) . . (+782)‎ . . Н Hardprob/Minimum Equivalence Deletion ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> ра…») (текущая)
• 23:08, 13 апреля 2023 (разн. | история) . . (+695)‎ . . Н Hardprob/Minimum Number Of Satisfiable Formulas ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> 3CNF…») (текущая)
• 17:16, 13 апреля 2023 (разн. | история) . . (+697)‎ . . Н Hardprob/Maximum Number Of Satisfiable Formulas ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, коллекция <em>C</em> 3CNF…») (текущая)
• 17:06, 13 апреля 2023 (разн. | история) . . (+1360)‎ . . Н Hardprob/Maximum Weighted Satisfiability With Bound ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор булевых переменных <em>U</em>, булевое выражение…»)
• 16:28, 13 апреля 2023 (разн. | история) . . (+1034)‎ . . Н Hardprob/Minimum Distinguished Ones ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Непересекающиеся множества булевых переменных <em>…») (текущая)
• 15:42, 13 апреля 2023 (разн. | история) . . (+1036)‎ . . Н Hardprob/Maximum Distinguished Ones ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Непересекающиеся множества булевых переменных <em>…») (текущая)
• 15:36, 13 апреля 2023 (разн. | история) . . (+861)‎ . . Н Hardprob/Minimum 3-Dnf Satisfiability ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Множество переменных <em>U</em>, * Коллекция <em>C</em> скоб…») (текущая)
• 15:30, 13 апреля 2023 (разн. | история) . . (+1158)‎ . . Н Hardprob/Maximum Not-All-Equal 3-Satisfiability ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Множество переменных <em>U</em>, * Коллекция <em>C</em> скоб…»)
• 15:21, 13 апреля 2023 (разн. | история) . . (+23)‎ . . Hardprob/Maximum K-Satisfiability ‎
• 15:20, 13 апреля 2023 (разн. | история) . . (+913)‎ . . Н Hardprob/Minimum K-Satisfiability ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Константа <em>k≥2</em>, множество переменных <em>U</em>, * К…»)
• 14:44, 13 апреля 2023 (разн. | история) . . (+907)‎ . . Н Hardprob/Maximum K-Satisfiability ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Константа <em>k≥2</em>, множество переменных <em>U</em>, * К…»)
• 14:39, 13 апреля 2023 (разн. | история) . . (+800)‎ . . Н Hardprob/Maximum Satisfiability ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Множество переменных <em>U</em>, * Коллекция <em>C</em> скоб…») (текущая)
• 14:33, 13 апреля 2023 (разн. | история) . . (+829)‎ . . Н Hardprob/Minimum Travel Robot Localization ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Простой многоугольник <em>P</em> и многоугольник видим…») (текущая)
• 14:27, 13 апреля 2023 (разн. | история) . . (+1156)‎ . . Н Hardprob/Minimum Graph Motion Planning ‎ (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Граф <m>G=\left(V,E\right)</m>, ** стартовая вершина <m>s\in V</m>, гд…»)
• 14:22, 13 апреля 2023 (разн. | история) . . (+44)‎ . . Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q) ‎
• 14:18, 13 апреля 2023 (разн. | история) . . (-863)‎ . . Hardprob/Maximum Satisfiability Of Quadratic Equations Over GF(Q) ‎ (Перенаправление на Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q)) (текущая)
• 14:18, 13 апреля 2023 (разн. | история) . . (+863)‎ . . Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q) ‎

(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)