我有布尔公式 A 和 B，想检查“A -> B”（A 暗示 B）在多项式时间内是否为真。 对于完全通用的公式 A 和 B，这是 NP 完全的，因为“A -> B”为真“与”不（A -> B）“相同。...

到目前为止，我是这样保存模型的： checkpoint = ModelCheckpoint('Model-{epoch:05d}-{loss:.4f}-{acc:.4f}-{val_loss:.4f...