Bungee jumping was not for the faint -hearted. But Marg was not worried; she has the heart of a lion.
高空弹跳不适合胆小的人，不过玛格并不担心，因为她有过人的勇气。
When she arrived, there were lots of people, mostly in their twenties. Marg didn't see anyone who was even close to her age.
她到那里时人已经很多了，大部分都是二十几岁的人，玛格找不到任何和她年纪相近的人。
Marg was no ordinary 84-year-old woman. She was a grandmother, a wife, and daredevil. There was nothing she wouldn't try once.
玛格不是普通的84岁老妇人，她是祖母，是妻子，同时也是个不怕死的人，没有什么东西她没尝试过。
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.
对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.
对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。
应用推荐