LLM约束解码