Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 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)
- 14:17, 13 апреля 2023 (разн. | история) . . (+101) . . Н Hardprob/Maximum Satisfiability Of Quadratic Equations Over Gf(Q) (Перенаправление на Hardprob/Maximum Satisfiability Of Quadratic Equations Over GF(Q))
- 14:16, 13 апреля 2023 (разн. | история) . . (+101) . . Н Hardprob/Maximum Satisfiability Of Quadratic Equations Over GfF(Q) (Перенаправление на Hardprob/Maximum Satisfiability Of Quadratic Equations Over GF(Q)) (текущая)
- 14:12, 13 апреля 2023 (разн. | история) . . (+1008) . . Н Hardprob/Maximum Satisfiability Of Quadratic Equations Over GF(Q) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Простое число <em>q</em>, набор <m>P=\{p_1(x), p_2(x),\ldots,p_m(x)\}</m> п…»)
- 14:03, 13 апреля 2023 (разн. | история) . . (-1) . . Hardprob/Minimum Block-Angular Convex Programming
- 14:03, 13 апреля 2023 (разн. | история) . . (+956) . . Н Hardprob/Minimum Block-Angular Convex Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>K</em> непересекающихся выпуклых компактных множе…»)
- 13:53, 13 апреля 2023 (разн. | история) . . (+879) . . Н Hardprob/Nearest Lattice Vector (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Базис в решетке <m>\{b_1,\ldots,b_m\}</m>, где <m>b_i\in Z^k</m>, точка…»)
- 13:46, 13 апреля 2023 (разн. | история) . . (+1265) . . Н Hardprob/Maximum Class-Constrained Knapsack (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <em>n</em> размеров заданных вектором <m>U \in N^n</m>, <em>m</em> р…»)
- 13:33, 13 апреля 2023 (разн. | история) . . (+973) . . Н Hardprob/Maximum Integer K-Choice Knapsack (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Неотрицательные целочисленные <em>m×k</em> матрицы <m>A,…»)
- 13:25, 13 апреля 2023 (разн. | история) . . (+999) . . Н Hardprob/Maximum Integer M-Dimensional Knapsack (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Неотрицательная целочисленная <em>m×n</em> матрица <m>A\i…»)
- 13:16, 13 апреля 2023 (разн. | история) . . (+1020) . . Н Hardprob/Maximum Knapsack (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Конечное множество <em>U</em>, для каждого <m>u\in U</m> зада…»)
- 11:41, 13 апреля 2023 (разн. | история) . . (+1043) . . Н Hardprob/Maximum Hyperplane Consistency (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Конечные множества <em>P</em> и <em>N</em> целочисленных <em>n…»)
- 11:30, 13 апреля 2023 (разн. | история) . . (+861) . . Н Hardprob/Minimum Unsatisfying Linear Subsystem (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Система линейных уравнений <em>Ax=b</em>, где <em>A</em> цело…»)
- 11:09, 13 апреля 2023 (разн. | история) . . (+858) . . Н Hardprob/Maximum Satisfying Linear Subsystem (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Система линейных уравнений <em>Ax=b</em>, где <em>A</em> цело…»)
- 11:01, 13 апреля 2023 (разн. | история) . . (0) . . Hardprob/Minimum Relevant Variables In Linear System
- 11:00, 13 апреля 2023 (разн. | история) . . (+760) . . Н Hardprob/Minimum Relevant Variables In Linear System (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Целочисленная <em>m×n</em> матрица <m>A\in Z^{m\cdot n}</m>, целый…»)
- 10:46, 13 апреля 2023 (разн. | история) . . (+1266) . . Н Hardprob/Minimum Planar Record Packing (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Коллекция <em>C</em> из <em>n</em> записей, ** для каждой зап…»)
- 10:24, 13 апреля 2023 (разн. | история) . . (+1) . . Hardprob/Minimum Quadratic 0-1 Assignment
- 10:24, 13 апреля 2023 (разн. | история) . . (+1087) . . Н Hardprob/Minimum Quadratic 0-1 Assignment (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Неотрицательная целая <em>n×n</em>-матрица <m>C\in N^{n\cdot n}</…»)
- 09:40, 13 апреля 2023 (разн. | история) . . (+6) . . Hardprob/Minimum Generalized 0-1 Assignment
- 09:40, 13 апреля 2023 (разн. | история) . . (+1012) . . Н Hardprob/Minimum Generalized 0-1 Assignment (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Целая <em>m×n</em>-матрица <m>A\in Z^{m\cdot n}</m>, целый <em>m</em>-ве…»)
- 09:29, 13 апреля 2023 (разн. | история) . . (+1095) . . Н Hardprob/Maximum Quadratic Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Положительное целое <em>n</em>, набор линейных огранич…»)
- 09:14, 13 апреля 2023 (разн. | история) . . (+952) . . Н Hardprob/Minimum Covering Integer Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Рациональная <em>m×n</em>-матрица <m>A∈[0,1]^{m\cdot n}</m>, рацио…»)
- 09:08, 13 апреля 2023 (разн. | история) . . (+952) . . Н Hardprob/Maximum Packing Integer Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Рациональная <em>m×n</em>-матрица <m>A∈[0,1]^{m\cdot n}</m>, рацио…»)
- 08:56, 13 апреля 2023 (разн. | история) . . (+7) . . Hardprob/Maximum Bounded 0-1 Programming
- 08:55, 13 апреля 2023 (разн. | история) . . (+917) . . Н Hardprob/Maximum Bounded 0-1 Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Целая <em>m×n</em>-матрица <m>A\in Z^{m\cdot n}</m>, целый <em>m</em>-ве…»)
- 08:46, 13 апреля 2023 (разн. | история) . . (-2) . . Hardprob/Minimum 0-1 Programming
- 08:46, 13 апреля 2023 (разн. | история) . . (+903) . . Н Hardprob/Minimum 0-1 Programming (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Целая <em>m×n</em>-матрица <m>A\in Z^{m\cdot n}</m>, целый <em>m</em>-ве…»)
- 08:38, 13 апреля 2023 (разн. | история) . . (-46) . . Hardprob/Minimum Vehicle Scheduling On Tree
- 08:38, 13 апреля 2023 (разн. | история) . . (0) . . Hardprob/Minimum Vehicle Scheduling On Tree
- 23:10, 12 апреля 2023 (разн. | история) . . (+1) . . Hardprob/Minimum Vehicle Scheduling On Tree
- 23:09, 12 апреля 2023 (разн. | история) . . (+1968) . . Н Hardprob/Minimum Vehicle Scheduling On Tree (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Дерево с выделенным корнем <m>T=\left(V,E,v_0\right)</m>, ** на р…»)
- 22:53, 12 апреля 2023 (разн. | история) . . (+1590) . . Н Hardprob/Minimum Schedule Length (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Сеть <m>N=\left(V,E,b,c\right)</m>, где ** граф <m>G=\left(V,E\right)</m> ** ем…»)
- 22:39, 12 апреля 2023 (разн. | история) . . (+1202) . . Н Hardprob/Minimum File Transfer Scheduling (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Граф передачи файла, т.е. граф <m>G=\left(V,E\right)</m>, ограни…»)
- 22:24, 12 апреля 2023 (разн. | история) . . (+1427) . . Н Hardprob/Minimum Job Shop Scheduling (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * <m>m\in Z^+</m> процессоров (станков, рабочих мест и т.п.),…»)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)