duangsues.is_a? SaltedFish

def match_parentheses(s):
  # 创建一个栈来存储左括号
  stack = []
  # 创建一个字典来存储左右括号的对应关系
  pairs = {"(": ")", "[": "]", "{": "}"}
  # 遍历字符串中的每个字符
  for c in s:
    # 如果是左括号，就把它压入栈中
    if c in pairs:
      stack.append(c)
    # 如果是右括号，就检查栈是否为空，以及栈顶的左括号是否与它匹配
    elif c in pairs.values():
      if not stack or pairs[stack.pop()] != c:
        # 如果不匹配，就返回False
        return False
  # 最后检查栈是否为空，如果为空，说明所有的括号都匹配了
  return not stack



# 匹配左右括号
pairs = {'(':')', '[':']', '{':'}'}
def eat(s,c0):
  for c in s:
      # 如果是左括号，就把它压入栈中
      if c in pairs: eat(s,pairs[c])
      elif c==c0:return # 如果是右括号，左括号便与之匹配
      else: assert'','多余项而栈空'
  assert c0=='eof','栈尚不为空'

def catchy(f,*a):
  try:return f(*a)
  except Exception as e:return e

[catchy(eat,iter(s),'eof')\
for s in "([]) ()[]{} ({[()]}) ( []]".split() ]

#learn
基于栈的算法不全都可以转化为基于递归。有些问题本身就不具有分治和回溯的特性，只会空间复杂度。
后缀表达式求值，不适合用递归来实现，因为它没有主动的终止条件和子问题划分
汉诺塔问题，不适合用栈来实现，因为它需要记录A->B，而栈只能记录最后一个盘子的位置。

DP算法都能转化为递归，反之亦然。
动态规划通常采用自底向上（bottom-up）的方式，从最简单的子问题开始逐步向上组合；如归并排序、DFA,AC树
递归通常采用自顶向下（top-down）的方式，从原问题开始逐步向下分解出更简单的子问题；如快速排序、递归下降流读写

迭代法、递推循环(尾递归)不是自底向上，因为问题范围不会扩大
贪心、模拟法只是解题思想，是因为不熟练而采取的省事做法

DFS 和暴力都能使用逻辑式来实现，即将问题抽象为等式组，然后使用 DFS 来搜索满足'='等调用的变量
Prolog

:- use_module(library(clpfd)).

% 定义搜索：鸡和兔子的总数为 N，总腿数为 M
solve(N, M, A, B) :-
    A + B #= N, 2*A+4*B#=M,
    [A, B] ins 0..sup. % 区间,如 A+B#=3 , [A,B] ins 0..sup, label([A,B]).

main :- solve(14,38,A,B), format("~w鸡~w兔~n", [A, B]).

%九九

A * B #= C,
[A,B]ins 1..9, label([A,B]), 
format('~w*~w=~w ',[A,B,C]), (A=1 -> write('\n');true).

html(table([class([table, 'table-striped'])], [\foreach(between(1,9,A),
   html(tr([\foreach((between(1,9,B),C is A*B ,A>=B), html(td([B,*,A,=,C] )) )] )) )
]))

https://leetcode.cn/problems/two-sum/

two_sum(Nums,X, I, J) :-
    nth0(I, Nums, A), nth0(J, Nums, B), I \= J,
    % A+B=X
    A is X - B.

/** <examples>
?- two_sum([2, 7, 11, 15], 9, I, J).
?- two_sum([3,2,4], 6, I, J).
*/

力扣 LeetCode

1. 两数之和 - 力扣（LeetCode）

1. 两数之和 - 给定一个整数数组 nums 和一个整数目标值 target，请你在该数组中找出和为目标值 target 的那两个整数，并返回它们的数组下标。

你可以假设每种输入只会对应一个答案，并且你不能使用两次相同的元素。

你可以按任意顺序返回答案。

示例 1：

输入：nums = [2,7,11,15], target = 9
输出：[0,1]
解释：因为 nums[0] + nums[1] == 9 ，返回 [0, 1] 。

示例 2：

输入：nums = [3…

25 viewsedited 06:41