WHEN ARE TWO ALGORITHMS THE SAME?

被引：13

作者：

Blass, Andreas ^{[1
]}

Dershowitz, Nachum ^{[2
]}

Gurevich, Yuri ^{[3
]}

机构：

[1] Univ Michigan, Dept Math, Ann Arbor, MI 48109 USA

[2] Tel Aviv Univ, Sch Comp Sci, IL-69978 Ramat Aviv, Israel

[3] Microsoft Res, Redmond, WA 98052 USA

来源：

BULLETIN OF SYMBOLIC LOGIC | 2009年 / 15卷 / 02期

基金：

以色列科学基金会;

关键词：

LOGIC;

D O I：

10.2178/bsl/1243948484

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.

引用

页码：145 / 168

页数：24

共 50 条

[1] When are two protocols the same?
Johnson, MW
McBurney, P
Parsons, S
COMMUNICATION IN MULTIAGENT SYSTEMS: AGENT COMMUNICATION LANGUAGES AND CONVERSATION POLICIES, 2003, 2650 : 253 - 268
[2] Cell polarity in plants: when two do the same, it is not the same ....
Dettmer, Jan
Friml, Jiri
CURRENT OPINION IN CELL BIOLOGY, 2011, 23 (06) : 686 - 696
[3] An application of two different algorithms on the same network
Erdogan, Senol Zafer
Esin, E. Murat
2006 INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES,VOLS 1-3, 2006, : 347 - +
[4] WHEN DO TWO TOPOLOGIES HAVE THE SAME MONADS?
Button, Robert W.
TOPOLOGY AND ITS APPLICATIONS, 1979, 10 (01) : 7 - 11
[5] When Two Do the Same Thing: the Seeger Brothers
Sobotka, Jan
OD FOLKLORU K WORLD MUSIC: CESTY ZA VIZI, 2011, : 87 - 93
[6] When two do the same thing: Two times two translations of the same text into Czech in the 16th century
Koupil, Ondrej
CESKA LITERATURA, 2022, 70 (04): : 395 - 428
[7] TWO PUBLICATIONS ON THE HISTORY OF INQUISITION OR WHEN TWO WRITERS ABOUT THE SAME...
Kreuz, Petr
LISTY FILOLOGICKE, 2008, 131 (1-2): : 249 - 267
[8] When are two interventions the same? Implications for reporting guidelines in education
Horsley, Tanya
Regehr, Glenn
MEDICAL EDUCATION, 2018, 52 (02) : 141 - 143
[9] When are two multi-layer cellular neural networks the same?
Ban, Jung-Chao
Chang, Chih-Hung
NEURAL NETWORKS, 2016, 79 : 12 - 19
[10] When do two rational functions have the same Julia set?
Levin, G
Przytycki, F
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1997, 125 (07) : 2179 - 2190

← 1 2 3 4 5 →