Поиск по:www.intsys.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.intsys.msu.ru ,которые мы индексируем. Показаны документы 401 - 420 из 545.
Упорядочить по:
URL
|
дате изменения
401. http://www.intsys.msu.ru/study/practicum/disopt.pdf
... Анализ существующих алгоритмов. ... 2 Надо: Реализовать алгоритм оптимальной (по количеству использованных ящиков) упаковки в предметов в ящики, или используя такой алгоритм: 1) отсортировать предметы по убыванию размера 2) первый предмет положить в 1 ящик, второй туда же, если влезает. если не влезает во второй. и т.д. Вывести ответ в выходной файл. ... Обход графа методом ближайшего соседа Дан граф, как набор вершин (общее число F ) и ребер (пар вершин) в фай- ле. ... Вывести ответ в выходной файл...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/disopt.pdf -- 179.1 Кб -- 06.09.2010
Похожие документы
Похожие документы
402. http://www.intsys.msu.ru/study/practicum/db.pdf
... Понятие информационного графа По аналогии с одномерной задачей интервального поиска приведите тип, описывающий n-мерные задачи интервального поиска. ... Критерий допустимости информационных графов F Пусть S = X, X, = тип поиска идентичных объектов, множество предикатов задается соотношением 0, если x = a F = {f=,a (x) = : a X }, (1) 1, если x = a базовое множество имеет вид F = F, , V = {y1, y2, . ... Приведите пример информационного графа над базовым множеством F , разрешающего ЗИП I = X, V , = . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/db.pdf -- 270.4 Кб -- 06.09.2010
Похожие документы
Похожие документы
403. http://www.intsys.msu.ru/study/practicum/crypto.pdf
... Введение Данное пособие содержит перечень задач по практикуму Криптография. ... Задача I1. ... На вход поступает число переменных и число элементарных дизъюнкций, на выход в текстовый файл записывается случайная 2-КНФ с заданным числом элементарных дизъюнкций, или выдается отказ, если такая КНФ не существует. Дополнительная информация о задаче может быть найдена в книге В.А. Носов, Основы теории алгоритмов и анализа их сложности, http://www.intsys.msu.ru/staff/vnosov/theoralg.htm Задача I2. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/practicum/crypto.pdf -- 150.1 Кб -- 06.09.2010
Похожие документы
Похожие документы
404. http://www.intsys.msu.ru/magazine/archive/v13(1-4)/potseluevskaya-455-476.pdf
... DPLL PPSZ-. ... DPLL-. ... 1] Braunstein A., Mezard M., Zecchina R. Survey propagation: An algorithm for Satisfiability // Random Structures and Algorithms. ... 3] Davis M., Putman H. A computing pro cedure for quantification theory // Journal of the ACM. ... 4] Du D., Gu J., Pardalos P. M. Satisfiability problem: theory and applications // Pro ceedings of a DIMACS workshop. ... 8] Paturi R., Pudlak P., Saks M. E., Zane F. An improved exp onentialЄ time algorithm for k-SAT // Pro ceedings of FOCS'98...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v13(1-4)/potseluevskaya-455-476.pdf -- 372.0 Кб -- 01.07.2010
Похожие документы
Похожие документы
405. http://www.intsys.msu.ru/magazine/archive/v13(1-4)/vtorushin-263-288.pdf
... assume thus let [such ] consider [such . ... len(cons(Y, rev(L))) len(cons(X, W)) = s(len(W)) s(len(rev(L))). ... 1 , List. , nil() cons(X,L) . ... nil ), cons (s(o), nil )), cons (o, nil )) cons (s(o), nil )), cons (o, nil )) , nil ), cons (o, nil )) c( nil , cons (o, nil ))) s(o, nil )). : text rev ( cons (o(), cons (s(o()), nil ()))) = cons (s(o()), cons (o(), nil ())) proof 6: rev ( cons (s(o()), nil ())) = conr( rev ( nil ()), s(o())) by 5; 7: conr( rev ( ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v13(1-4)/vtorushin-263-288.pdf -- 288.9 Кб -- 01.07.2010
Похожие документы
Похожие документы
406. http://www.intsys.msu.ru/magazine/archive/v13(1-4)/tsymzhitov-141-162.pdf
... 1 , DOMINO , 0 DOMINO ( 0 ). 2. 0 c = DOMINO ( 0 ) , 0 supp c. 150 . ... PRECALC( , a). ( , ) в , = 1, = min (-1) , , (11) c c supp c ( )supp c = c c supp c min ( )supp c (-1) , . ... supp c , c = arg min (-1) c c supp c ( )supp c . ... PRECALC( , a). : 2 ( ) = arg min , , 2 o dd , c , (-1) c = arg min c c supp c ( )supp c . ... C 4 c = arg (-1) min c ( )supp c c 0 supp c 0 0 . c = arg c 0 c supp c min supp c (-1) . ... 2) = arg min 1) ( , , ) = PRECALC( , a). 0 3) c = DOMINO 4) c. { }. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v13(1-4)/tsymzhitov-141-162.pdf -- 228.7 Кб -- 01.07.2010
Похожие документы
Похожие документы
407. http://www.intsys.msu.ru/staff/ryzhov/FuzzyRetrieval2010.pdf
I P Q В монографии рассматриваются вопросы поиска информации в нечетE кой средеF Под средой поиска информации понимается пара запросD база данных F Рассматриваются вариантыD когда запрос иGили база данных могут быть четкими или нечеткимиF Приводятся и исследуются матеE матические модели описания человеком объектов предметной области некоторой базы данных и поиска информации в нечетких @лингвистичеE скихA базах данныхF На основе полученных результатов формулируются методики выбора оптимального множества
[
Текст
]
Ссылки http://www.intsys.msu.ru/staff/ryzhov/FuzzyRetrieval2010.pdf -- 817.7 Кб -- 18.03.2010
Похожие документы
Похожие документы
408. http://www.intsys.msu.ru/magazine/Pravila_IS.pdf
- , , , : 1) , A L TEX Microsoft Word ( ). ( -, ) JPEG 300 dpi. PDF. 2) , , ( 50 ), ( 20 ), (... , , , / ( ), ( ), e-mail, ( ). 3) , . 4) ( ) , , . . , . , 64559. 5) . , , www.intsys.msu.ru, . .
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/Pravila_IS.pdf -- 32.6 Кб -- 18.03.2010
Похожие документы
Похожие документы
409. http://www.intsys.msu.ru/staff/mironov/modelchk.pdf
... 2.4.4 Fairness . ... 3.2 CTL . ... 33 3.3.2 fair MC-CTL F fairness (2.9), fair- CTLґ q , q F (). fair- 3.2.2 : Ї , "", "fair" Ї q Q CTL, fair q , q F () = 0. ... q ) B = } , CTLґ , : def QEX = EX(Q ) QEG = Z. Q EX(Z ) QEU( , ) (3.14) = ?Z. Q (Q EX(Z )) 37 , , EG EU, FP. 3.4.3 fair-MC-CTL fairness CTLґ fairness (2.9) CTLґ, .. i = 1, . ... MC-LTL fair-MC-LTL PSPACEґ. 71 , (5.28) fair-MC-CTL ( ), (q , K ) S в S , 1. ... L(B1 ) L(B2 ) : Ї S LTLґ A(GFp1 GFp2 ) Ї S CTLґ AGAFp2 fairness, CTLґ AGAFp1 . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/staff/mironov/modelchk.pdf -- 574.5 Кб -- 08.03.2010
Похожие документы
Похожие документы
410. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/sokolov-363-388.pdf
... n log (n) n log n. . ... ai-1 , 0, ai+1 , . ... xn ) xi1 , . ... xn ). : f ; f = lw lw min , , f f l ; l . ... n) : (n) = f ,f Z T ,sig ma max n f ; f . ... n). 4. log2 (n) n log2 n, n . ... lim lim cos k = lim k wk . ... wk 10k Ї w , k 10k Ї k , , , () = lim k n k lim lw, () - lwk , k n j =1 n aj wj - n - j =1 aj wkj -k n w j =1 n 2 j w n j =1 k lim lim aj wj - w j =1 2 j - 10k Ї j =1 aj wj - n 10k Ї w j =1 2 j j =1 2 kj =0 k w Ї wk 10k Ї w Ї w = lim = 1. |w | ... k 10k Ї |w | ... 2 2 log L (n) . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/sokolov-363-388.pdf -- 258.5 Кб -- 09.09.2009
Похожие документы
Похожие документы
411. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/potseluyevskaya-351-362.pdf
... The complexity of satisfiability problems. ... F - Fi1 (ї)Fi2 (ї) . Fit (ї) x1 , . ... S = min{M }, M = {x X | ... l=1 dil . ... 5) S Si : ї i: Si = ; ї S , Sj (j < i), ( S ) Si ; i ї si1 Si D3 = D(si1 ) = {d D3 |si1 d}; i ї (**) D3 , S . ... poly (|x|), . ... 3] Dub ois O. On the r, s-satisfiability problems and a conjecture of Tovey // Discrete Appl. ... 4] Schaefer T. J. The complexity of satisfiability problems // Pro ceedings of the 10th ACM Symp osium on Theory of Computing. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/potseluyevskaya-351-362.pdf -- 157.8 Кб -- 09.09.2009
Похожие документы
Похожие документы
412. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/pivovarov-333-350.pdf
... K = i-1 ; m в jm1 ; m , m : K = K = K = K = K = i-1 i - R/2; m m i-1 i + R/2; m m i i-1 - R/2; m m i i-1 - R/2; m m i-1 i - R/2; m m - R/2 в + R/2 в + R/2 в + R/2 в - R/2 в j - m j - m j -1 m j -1 m j-1 m j-1 m j-1 R/2; m j - R/2; m j + R/2; m j - R/2; m R/2; + R/2 , + R/2 , - R/2 , + R/2 , - R/2 , 344 i-1 - R/2; m i-1 = + R/2; m i-1 + R/2; = m . ... 1 T (Uk ) (mk Rk - 1)(2 + Rk )2 (2 + ]log2 k[) (mk Rk - 2)2 1 mk Rk - 1 (3 + log2 k) 1 + 64c log2 k 1. 1 + 64c 2 (mk Rk - 2) mk Rk 1 + 4c , T (Uk ) 1. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/pivovarov-333-350.pdf -- 200.1 Кб -- 09.09.2009
Похожие документы
Похожие документы
413. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/nosov-317-332.pdf
... yn (2) , gi1 Ї Ї Ї Ї Ї gik , 1 i1 < Ї Ї Ї < ik n, k < n, , x1 . ... 3) 320 . ... cn G, aij G. GF = (V , E ) ( ) V = {1, 2, . ... fi1 i1 , F 2 [6]. i1 i2 . ... ik }. j 1, k fij+1 xij ( fik+1 fi1 ). , j I fj xi , i I . k = 2 i1 , i2 I , fj xi1 , xi2 , ( j , ). k 3, , ( ) s, 1 s k - 2, , fik xis . ... i I gi = g. , fi2 xi1 , g- xi1 = gi1 , fi2 (g, . g, gi1 , g, . ... fik (g, . ... fs1 (g ) = fs1 (g ), fs1 , , xi1 , xi2 , . ... s m-1 l -1 )... m-1 2 s m-1 ks k ... s m-1 l-1 k ). 330 . ... 2004. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/nosov-317-332.pdf -- 187.5 Кб -- 09.09.2009
Похожие документы
Похожие документы
414. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/lyalin-271-282.pdf
... 272 . ... V = (A, Q, B , , , q 0 ), A, Q, B , , Q в A Q, , Q в A B , q 0 Q. A, Q, B - 273 , V . ... q Q, 2 x2 q (t) = q , a A, b1 , b2 B 2 (q , (a, b1 )) = 2 (q , (a, b2 )). 2 (q , a) = 2 (q , (a, b1 )). o (t) o(V ) q (1) = q 0 , q (t + 1) = (q (t), (a(t), 2 (q (t), a(t)))), o (t) = 1 (q (t), (a(t), 2 (q (t), a(t)))). 274 . ... A, U, B , , , u0 ), A , U , B , :U вAB , U :U вA2 , 275 u0 U , u0 . ... def 1 ((qi , f ), a ). 2 (u, a ) = 1in u u (u, ) u U = (2 (u, a ), f ), f F . ... 2004. ... 1968. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/lyalin-271-282.pdf -- 151.3 Кб -- 09.09.2009
Похожие документы
Похожие документы
415. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/zhuk-211-228.pdf
... dil ( ) = diw+1 diw+2 . dil Ri1 . ... 2, 4). ~ ~ di = 001(01)1i+1 01k+1-i , d = 001(10)1i+1 01k+1-i di i ~0 = 001(01)101k+1 , d = 001(10)101k+1 . ... dj d 0 |n ~ ~~ ~ ~ M0 = {d0 0 01 l-1 jl N0 , l N, dj1 = di }, 1 i k. Ti : Mi E n+ ~ ~ ~~ d0 dj+1 . ... Tk , W, W0 , G, G0 h. Tih (). - 2(k + 8) Ki , j 2(k + 8) , [2(k+8) ]j Ki . ... t t dit , ~~ Tis (Tis-1 (. Ti1 (T ()) . ... 221 W (Tis (Tis-1 (. ... y , z ) = y z , G(Tis (Tis-1 (. ... s-1 , , |1 | ... 225 S0 (010 ) = 0010 D2 , 010 F0 D2 . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/zhuk-211-228.pdf -- 205.0 Кб -- 09.09.2009
Похожие документы
Похожие документы
416. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/osokin-159-178.pdf
k log2 n . ... k log n + 2k . ... k, n) = min F Fk ,n f max (F, f ). k ,n : ~ max(k + 1, log2 n) (k, n) min(n, k log2 n), ~ (k, n) log2 n + A(k) n , A(k) , . ... j ) ~ ~ n n 1 2 1 2 - Xij , Xij = , ^ Xi,j , f (i ) = f (j ); ~ ~ , f (i ) = f (j ). ~ ~ i = (i , i . ... 2007. ... 4] Angluin D. Queries and Concept Learning // Machine Learning. ... 6] Uehara R., Tsuchida K., Wegener I. Optimal attribute-efficient learning of disjunction, parity, and threshold functions // Lecture Notes In Computer Science. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/osokin-159-178.pdf -- 189.4 Кб -- 09.09.2009
Похожие документы
Похожие документы
417. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/volkov-137-158.pdf
... 4) Pb1 rt (Ai ) 1, Ai (2 + 1) o 1 , 0 . 5) Pb2 rt (Ai ) 1, Ai (2 + 1) o 1 , 0 . ... nm Ї l2m . ... 1) (Pbort 1 2 1 2 19) A1 , ( (q3 , M , k), ((P0 (A1 , A2 , q3 ) = 1) (PR (A1 ) = 0) (Pb2 rt (A1 ) = o 1 1) (Pb1 rt (A1 ) = 1)) ), ( (q2 , 1, 0), (0, 0) ), k = 0, 1. o 154 . ... 1) (Pbort 2 3 2 30) A2 , ( q3 , (PR (A2 ) = 0) (Pb2 rt (A2 ) = 1) (Pb1 rt (A2 ) = 1) ), o o 2 , (0, 0) ). ( q2 2 31) A2 , ( q3 , (PR (A2 ) = 0) (Pb2 rt (A2 ) = 1) (Pb3 rt (A2 ) = 1) ), o o 2 , (0, 0) ). ( q1 , . ... 2003. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/volkov-137-158.pdf -- 205.6 Кб -- 09.09.2009
Похожие документы
Похожие документы
418. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/sokolov-099-104.pdf
... L : l11 . ... 100 . ... a1 , , K = a12 +3 a42 42 a11 a A = f (a11 ; a12 ; a13 ; a42 ) : a11 &a12 &a13 &a42 A. , A a11 ; a12 ; a13 ; a42 K , K a11 ; a12 ; a13 ; a42 . ... 101 . ... 102 . ... 103 2. ... 1970. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/sokolov-099-104.pdf -- 136.8 Кб -- 09.09.2009
Похожие документы
Похожие документы
419. http://www.intsys.msu.ru/magazine/archive/v12(1-4)/rozanov-083-098.pdf
... 3]. 4. p, q , p > q > 2, 1 + v12 = p12 + q1 u, v Z, u > v > 2 2 u2 , : u = p, v = q . ... p, q , , , q , q p2 + q 2 , , q p. 2+ 2 p2 + 2 1 c0 = u2 + v12 = uu2 vv = k(kp2 qq ) , k N 2 2 : u2 + v 2 = k(p2 + q 2 ) u2 v 2 = kp2 q 2 1 q2 p 2 +q 2 p2 q 2 . ... x12 = (p2 + q 2 )k ? ((p2 + q 2 )k)2 - 4kp2 q 2 = 2 (p2 + q 2 )k ? (p4 + q 4 )k2 + 2k2 p2 q 2 - 4kp2 q 2 = = 2 (p2 + q 2 )k ? (p4 + q 4 )k2 + (2k2 - 4k)p2 q 2 = . ... p4 + q 4 )s2 + (2s2 - 4)p2 q 2 = (p4 + q 4 + 2p2 q 2 )s2 - 4p2 q 2 . ... 1985. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v12(1-4)/rozanov-083-098.pdf -- 157.4 Кб -- 09.09.2009
Похожие документы
Похожие документы
420. http://www.intsys.msu.ru/study/TDF/TDF_TSA.pdf
... A,B Pog . ... a11 (1) a21 (2) = . al1 (l) a(l), a(i) = (a11 (i), a12 (1) . a1m (1) a22 (2) . a2m (2) ... ... ... al2 (l) . alm (l) T a12 (i), . ... al1 (l) a1m (i)), a12 (1) . a22 (2) . al2 (l) . ... a1m (1) . a2m (2) . ... E m ,E n Pog,k = m,n Pogk k . ... xi-1 , xi+1 , . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/study/TDF/TDF_TSA.pdf -- 326.8 Кб -- 19.05.2009
Похожие документы
Похожие документы