|
|
|
Проверка бинарной операции на полугруппу
|
|||
|---|---|---|---|
|
#18+
Есть упорядоченный набор элементов a[1],...,a[n], на котором задана бинарная операция a[i]*a[j] со значениями в этом же наборе. Есть двумерный целочисленный массив (квадратная матрица) s[n,n] значений этой операции, то есть: a[i]*a[j]=a[s[i,j]]. Необходимо наиболее оптимальным образом проверить, что набор a является полугруппой, то есть для любых его элементов верно правило ассоциативности: (a[i]*a[j])*a[k]=a[i]*(a[j]*a[k]) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.09.2009, 10:03:59 |
|
||
|
Проверка бинарной операции на полугруппу
|
|||
|---|---|---|---|
|
#18+
вот нашел http://en.wikipedia.org/wiki/Light%27s_associativity_test С уважением, Naf ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.09.2009, 10:07:49 |
|
||
|
|
start [/forum/topic.php?fid=16&msg=36176125&tid=1344285]: |
0ms |
get settings: |
6ms |
get forum list: |
17ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
212ms |
get topic data: |
13ms |
get forum data: |
3ms |
get page messages: |
56ms |
get tp. blocked users: |
2ms |
| others: | 194ms |
| total: | 511ms |
| 0 / 0 |
