如何在python中迭代使用格式？

编程问答 2022-05-25

问题描述

我目前正在编写一个程序，该程序要求我有一个逻辑公式，然后在该逻辑公式上尝试 True 和 False 的每个组合。目前，我有一些代码可以创建形式为 : ({1} or not {2} or not {5} )and (not {1} or {6} )and (not {2} or not {3} )and ({3} or not {4} )and (not {4} or {5} or not {6} ) 的逻辑公式，其中需要为 true 和 false 的每个组合交换数字。我使用这一行 combos= product([True,False],repeat = no_variables) 计算出真假的组合。我目前有此代码来尝试执行此操作：

for i in combos:
    for j in range (no_variables):
            k=j+1 //as the variables in the string do not start at 0
            print(formulastring.format(k = i[j]))

但是它不起作用并返回此错误：

print(formulastring.format(k = i[j]))
IndexError: Replacement index 1 out of range for positional args tuple

任何帮助将不胜感激！

解决方法

问题是您提供的格式字符串用于查找位置参数（{0}、{1} 等），但是您使用关键字参数 (k=...) 调用格式函数

您需要更改格式字符串以接受关键字参数，例如：{k} 而不是 {0}，

或者，改变你传递参数的方式，像.format(i[j],...)一样调用它。请记住，您的格式字符串需要 7 个参数。

演示：

# Positional
"{0} {1} {2}".format(3,423,12)
# Output: '3 423 12'

# Keyword
"{a} {b} {c}".format(a=3,b=423,c=12)
# Output: '3 423 12'

现在将此应用于您的问题：

formulastring = "({1} or not {2} or not {5} )and (not {1} or {6} )and (not {2} or not {3} )and ({3} or not {4} )and (not {4} or {5} or not {6} )"
no_variables = 7 # Judging from this particular formatstring

combos= product([True,False],repeat = no_variables)
# Each element of combos is a 7-element tuple

for values in combos:
    # values is a tuple containing no_variables booleans
    # *values unpacks the tuple and passes it as positional arguments to format()
    print(formulastring.format(*values))

这给出了您期望的输出。

, 
import itertools

combos = list(itertools.product([False,True],repeat=6))

test = f'({1} or not {2} or not {5}) and (not {1} or {6})and (not {2} or not {3} )and ({3} or not {4} )and (not {4} or {5} or not {6} )'

results = []
for combo in combos:
    cur = test
    for idx,val in enumerate(combo):
        cur = cur.replace(str(idx+1),str(val))
        
    results.append(eval(cur))
formatformatformatiterationiterationlogicpythonsat