共 16 条
[1]
Bellman R., 1957, DYNAMIC PROGRAMMING
[2]
Booth T. L., 1967, SEQUENTIAL MACHINES
[3]
Davis M., 1958, COMPUTABILITY UNSOLV
[6]
Harrison M., 1965, INTRO SWITCHING AUTO
[7]
Hopcroft J.E., 1969, FORMAL LANGUAGES THE
[8]
REPRESENTATION THEOREMS FOR EQUIVALENT OPTIMIZATION PROBLEMS
[J].
INFORMATION AND CONTROL,
1972, 21 (05)
:397-435
[10]
Ibaraki T., 1973, SIAM Journal on Computing, V2, P193, DOI 10.1137/0202016